Rastislav Lenhardt
- Research Area(s)
- Algorithms and Theory
Google Publications
-
Gipfeli - High Speed Compression Algorithm
Rastislav Lenhardt, Jyrki Alakuijala
DCC (2012), pp. 109-118
Previous Publications
-
Model Checking Markov Chains Against Unambiguous Buchi Automata
Michael Benedikt, Rastislav Lenhardt, James Worrell
University of Oxford (2014)
-
Complexity of Two-Variable Logic on Finite Trees
Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell
ICALP (2) (2013), pp. 74-88
-
Controlling the Depth, Size, and Number of Subtrees for Two-variable Logic on Trees
Saguy Benaim, Michael Benedikt, Rastislav Lenhardt, James Worrell
CoRR, vol. abs/1304.6925 (2013)
-
LTL Model Checking of Interval Markov Chains
Michael Benedikt, Rastislav Lenhardt, James Worrell
TACAS (2013), pp. 32-46
-
Tulip: Model Checking Probabilistic Systems Using Expectation Maximisation Algorithm
QEST (2013), pp. 155-159
-
Two Variable vs. Linear Temporal Logic in Model Checking and Games
Michael Benedikt, Rastislav Lenhardt, James Worrell
Logical Methods in Computer Science, vol. 9 (2013)
-
Two Variable vs. Linear Temporal Logic in Model Checking and Games.
Michael Benedikt, Rastislav Lenhardt, James Worrell
Logical Methods in Computer Science, vol. 9 (2013)
-
Verification of Two-Variable Logic Revisited
Michael Benedikt, Rastislav Lenhardt, James Worrell
QEST (2012), pp. 114-123
-
Two Variable vs. Linear Temporal Logic in Model Checking and Games
Michael Benedikt, Rastislav Lenhardt, James Worrell
CONCUR (2011), pp. 497-511
-
Proof of Concept: Fast Solutions to NP-problems by Using SAT and Integer Programming Solvers
CoRR, vol. abs/1011.5447 (2010)
