Rastislav Lenhardt

According to our database, Rastislav Lenhardt authored at least 10 papers between 2010 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

Complexity of Two-Variable Logic on Finite Trees.

Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell

ACM Trans. Comput. Log., 2016

2014

Model Checking Markov Chains Against Unambiguous Buchi Automata.

Michael Benedikt, Rastislav Lenhardt, James Worrell

CoRR, 2014

2013

Two variable and linear temporal logic in model checking and games.

Rastislav Lenhardt

PhD thesis, 2013

Controlling the Depth, Size, and Number of Subtrees for Two-variable Logic on Trees

Saguy Benaim, Michael Benedikt, Rastislav Lenhardt, James Worrell

CoRR, 2013

Two Variable vs. Linear Temporal Logic in Model Checking and Games

Michael Benedikt, Rastislav Lenhardt, James Worrell

Log. Methods Comput. Sci., 2013

LTL Model Checking of Interval Markov Chains.

Michael Benedikt, Rastislav Lenhardt, James Worrell

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Tulip: Model Checking Probabilistic Systems Using Expectation Maximisation Algorithm.

Rastislav Lenhardt

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

2012

Verification of Two-Variable Logic Revisited.

Michael Benedikt, Rastislav Lenhardt, James Worrell

Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

Gipfeli - High Speed Compression Algorithm.

Rastislav Lenhardt, Jyrki Alakuijala

Proceedings of the 2012 Data Compression Conference, Snowbird, UT, USA, April 10-12, 2012, 2012

2010

Proof of Concept: Fast Solutions to NP-problems by Using SAT and Integer Programming Solvers

Rastislav Lenhardt

CoRR, 2010