Rastislav Lenhardt
Rastislav Lenhardt
PhD Student of Computer Science, University of Oxford
Dirección de correo verificada de cs.ox.ac.uk
Título
Citado por
Citado por
Año
LTL model checking of interval Markov chains
M Benedikt, R Lenhardt, J Worrell
International Conference on Tools and Algorithms for the Construction and …, 2013
722013
Complexity of two-variable logic on finite trees
S Benaim, M Benedikt, W Charatonik, E Kieroński, R Lenhardt, ...
ACM Transactions on Computational Logic (TOCL) 17 (4), 1-38, 2016
272016
Gipfeli-high speed compression algorithm
R Lenhardt, J Alakuijala
2012 Data Compression Conference, 109-118, 2012
182012
Two variable vs. linear temporal logic in model checking and games
M Benedikt, R Lenhardt, J Worrell
CONCUR 2011–Concurrency Theory, 497-511, 2011
82011
Model Checking Markov Chains Against Unambiguous Buchi Automata
M Benedikt, R Lenhardt, J Worrell
arXiv preprint arXiv:1405.4560, 2014
52014
Tulip: model checking probabilistic systems using expectation maximisation algorithm
R Lenhardt
International Conference on Quantitative Evaluation of Systems, 155-159, 2013
52013
Verification of two-variable logic revisited
M Benedikt, R Lenhardt, J Worrell
2012 Ninth International Conference on Quantitative Evaluation of Systems …, 2012
52012
Two variable and linear temporal logic in model checking and games
R Lenhardt
Oxford University, UK, 2013
42013
Two variable and linear temporal logic in model checking and games
R Lenhardt
Oxford University, UK, 2013
42013
Probabilistic automata with parameters
R Lenhardt, J Worrell, J Ouaknine
32009
Controlling the depth, size, and number of subtrees for two-variable logic on trees
S Benaim, M Benedikt, R Lenhardt, J Worrell
arXiv preprint arXiv:1304.6925, 2013
22013
Proof of concept: Fast solutions to np-problems by using SAT and integer programming solvers
R Lenhardt
arXiv preprint arXiv:1011.5447, 2010
12010
Composite mathematical games
R Lenhardt
12007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–13