Travelled to:1 × Italy
1 × Latvia
Collaborated with:M.Benedikt J.Worrell S.Benaim W.Charatonik E.Kieronski F.Mazowiecki
Talks about:variabl (1) complex (1) markov (1) interv (1) model (1) logic (1) finit (1) check (1) chain (1) tree (1)
Person: Rastislav Lenhardt
DBLP: Lenhardt:Rastislav
Contributed to:
2013
2013Wrote 2 papers:
- ICALP-v2-2013-BenaimBCKLMW #complexity #finite #logic
- Complexity of Two-Variable Logic on Finite Trees (SB, MB, WC, EK, RL, FM, JW), pp. 74–88.
- TACAS-2013-BenediktLW #ltl #markov #model checking
- LTL Model Checking of Interval Markov Chains (MB, RL, JW), pp. 32–46.