Rastislav Lenhardt

12 papers A 1B 2Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2016 J jnl
Complexity of Two-Variable Logic on Finite Trees.
ACM Trans. Comput. Log.
Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell
2014 J jnl
Model Checking Markov Chains Against Unambiguous Buchi Automata.
CoRR
Michael Benedikt, Rastislav Lenhardt, James Worrell
2013 — conf
Complexity of Two-Variable Logic on Finite Trees.
ICALP (2)
Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell
2013 J jnl
Controlling the Depth, Size, and Number of Subtrees for Two-variable Logic on Trees
CoRR
Saguy Benaim, Michael Benedikt, Rastislav Lenhardt, James Worrell
2013 A conf
LTL Model Checking of Interval Markov Chains.
TACAS
Michael Benedikt, Rastislav Lenhardt, James Worrell
2013 — conf
Tulip: Model Checking Probabilistic Systems Using Expectation Maximisation Algorithm.
QEST
Rastislav Lenhardt
2013 J jnl
Two Variable vs. Linear Temporal Logic in Model Checking and Games
Log. Methods Comput. Sci.
Michael Benedikt, Rastislav Lenhardt, James Worrell
2013 — —
Two variable and linear temporal logic in model checking and games.
Rastislav Lenhardt
2012 B conf
Gipfeli - High Speed Compression Algorithm.
DCC
Rastislav Lenhardt, Jyrki Alakuijala
2012 — conf
Verification of Two-Variable Logic Revisited.
QEST
Michael Benedikt, Rastislav Lenhardt, James Worrell
2011 B conf
Two Variable vs. Linear Temporal Logic in Model Checking and Games.
CONCUR
Michael Benedikt, Rastislav Lenhardt, James Worrell
2010 J jnl
Proof of Concept: Fast Solutions to NP-problems by Using SAT and Integer Programming Solvers
CoRR
Rastislav Lenhardt