Rastislav Lenhardt

CoRR, 2014

2013

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

[BibT_eX]

[DOI]

PhD thesis, 2013

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

[BibT_eX]

[DOI]

CoRR, 2013

LTL Model Checking of Interval Markov Chains.

[BibT_eX]

[DOI]

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

Tulip: Model Checking Probabilistic Systems Using Expectation Maximisation Algorithm.

[BibT_eX]

[DOI]

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

Complexity of Two-Variable Logic on Finite Trees.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

2012

Verification of Two-Variable Logic Revisited.

[BibT_eX]

[DOI]

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

Gipfeli - High Speed Compression Algorithm.

[BibT_eX]

[DOI]

Jyrki Alakuijala

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

2011

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

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

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

[BibT_eX]

[DOI]