Παρακολούθηση
Rastislav Lenhardt
Rastislav Lenhardt
PhD Student of Computer Science, University of Oxford
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.ox.ac.uk
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
LTL model checking of interval Markov chains
M Benedikt, R Lenhardt, J Worrell
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
1042013
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
342016
Gipfeli-high speed compression algorithm
R Lenhardt, J Alakuijala
2012 Data Compression Conference, 109-118, 2012
272012
Two variable vs. linear temporal logic in model checking and games
M Benedikt, R Lenhardt, J Worrell
CONCUR 2011–Concurrency Theory, 497-511, 2011
122011
Model Checking Markov Chains Against Unambiguous Buchi Automata
M Benedikt, R Lenhardt, J Worrell
arXiv preprint arXiv:1405.4560, 2014
62014
Tulip: Model checking probabilistic systems using expectation maximisation algorithm
R Lenhardt
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013 …, 2013
62013
Probabilistic automata with parameters
R Lenhardt
62009
Two variable and linear temporal logic in model checking and games
R Lenhardt
Oxford University, UK, 2013
5*2013
Verification of two-variable logic revisited
M Benedikt, R Lenhardt, J Worrell
2012 Ninth International Conference on Quantitative Evaluation of Systems …, 2012
42012
Composite mathematical games
R Lenhardt
32007
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–12