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
742013
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
282016
Gipfeli-high speed compression algorithm
R Lenhardt, J Alakuijala
2012 Data Compression Conference, 109-118, 2012
192012
Two variable vs. linear temporal logic in model checking and games
M Benedikt, R Lenhardt, J Worrell
CONCUR 2011–Concurrency Theory, 497-511, 2011
72011
Verification of two-variable logic revisited
M Benedikt, R Lenhardt, J Worrell
2012 Ninth International Conference on Quantitative Evaluation of Systems …, 2012
52012
Model Checking Markov Chains Against Unambiguous Buchi Automata
M Benedikt, R Lenhardt, J Worrell
arXiv preprint arXiv:1405.4560, 2014
42014
Tulip: model checking probabilistic systems using expectation maximisation algorithm
R Lenhardt
International Conference on Quantitative Evaluation of Systems, 155-159, 2013
42013
Two variable and linear temporal logic in model checking and games
R Lenhardt
Oxford University, UK, 2013
32013
Two variable and linear temporal logic in model checking and games
R Lenhardt
Oxford University, UK, 2013
32013
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
Composite mathematical games
R Lenhardt
22007
Proof of Concept: Fast Solutions to NP-problems by Using SAT and Integer Programming Solvers
R Lenhardt
arXiv preprint arXiv:1011.5447, 2010
12010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–13