Rastislav Lenhardt
 Research Area(s)
 Algorithms and Theory
Google Publications

Gipfeli  High Speed Compression Algorithm
Rastislav Lenhardt, Jyrki Alakuijala
DCC (2012), pp. 109118
Previous Publications

Model Checking Markov Chains Against Unambiguous Buchi Automata
Michael Benedikt, Rastislav Lenhardt, James Worrell
University of Oxford (2014)

Complexity of TwoVariable Logic on Finite Trees
Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell
ICALP (2) (2013), pp. 7488

Controlling the Depth, Size, and Number of Subtrees for Twovariable 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. 3246

Tulip: Model Checking Probabilistic Systems Using Expectation Maximisation Algorithm
QEST (2013), pp. 155159

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 TwoVariable Logic Revisited
Michael Benedikt, Rastislav Lenhardt, James Worrell
QEST (2012), pp. 114123

Two Variable vs. Linear Temporal Logic in Model Checking and Games
Michael Benedikt, Rastislav Lenhardt, James Worrell
CONCUR (2011), pp. 497511

Proof of Concept: Fast Solutions to NPproblems by Using SAT and Integer Programming Solvers
CoRR, vol. abs/1011.5447 (2010)