Rastislav Lenhardt

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 1

Top Venues

CoRR

QEST

DCC

ACM Trans. Comput. Log.

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell
Complexity of Two-Variable Logic on Finite Trees. ACM Trans. Comput. Log. 17 (4) (2016)
Michael Benedikt, Rastislav Lenhardt, James Worrell
Model Checking Markov Chains Against Unambiguous Buchi Automata. CoRR (2014)
Rastislav Lenhardt
Tulip: Model Checking Probabilistic Systems Using Expectation Maximisation Algorithm. QEST (2013)
Michael Benedikt, Rastislav Lenhardt, James Worrell
LTL Model Checking of Interval Markov Chains. TACAS (2013)
Michael Benedikt, Rastislav Lenhardt, James Worrell
Two Variable vs. Linear Temporal Logic in Model Checking and Games Log. Methods Comput. Sci. 9 (2) (2013)
Saguy Benaim, Michael Benedikt, Rastislav Lenhardt, James Worrell
Controlling the Depth, Size, and Number of Subtrees for Two-variable Logic on Trees CoRR (2013)
Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell
Complexity of Two-Variable Logic on Finite Trees. ICALP (2) (2013)
Michael Benedikt, Rastislav Lenhardt, James Worrell
Verification of Two-Variable Logic Revisited. QEST (2012)
Rastislav Lenhardt, Jyrki Alakuijala
Gipfeli - High Speed Compression Algorithm. DCC (2012)
Michael Benedikt, Rastislav Lenhardt, James Worrell
Two Variable vs. Linear Temporal Logic in Model Checking and Games. CONCUR (2011)
Rastislav Lenhardt
Proof of Concept: Fast Solutions to NP-problems by Using SAT and Integer Programming Solvers CoRR (2010)

Rastislav Lenhardt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rastislav Lenhardt