Jan Krčál

MaRDI QIDQ1951599zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Probabilistic bisimulations for PCTL model checking of interval MDPs (available as arXiv preprint)	2021-06-22	Paper
Probabilistic bisimulations for PCTL model checking of interval MDPs	2021-06-22	Paper
On frequency LTL in probabilistic systems (available as arXiv preprint)	2017-09-12	Paper
Measuring performance of continuous-time stochastic processes using timed automata Proceedings of the 14th international conference on Hybrid systems: computation and control	2017-05-16	Paper
Verification of open interactive Markov chains	2017-01-26	Paper
Distributed synthesis in continuous time Lecture Notes in Computer Science	2016-06-10	Paper
Schedulers are no prophets Semantics, Logics, and Calculi	2016-03-23	Paper
Controller Synthesis for MDPs and Frequency LTL $$_{\setminus \mathbf{G}\mathbf U}$$ Logic for Programming, Artificial Intelligence, and Reasoning	2016-01-12	Paper
Optimal continuous time Markov decisions Automated Technology for Verification and Analysis	2016-01-08	Paper
Probabilistic Bisimulation: Naturally on Distributions CONCUR 2014 – Concurrency Theory	2014-09-15	Paper
Compositional verification and optimization of interactive Markov chains CONCUR 2013 – Concurrency Theory	2013-08-12	Paper
Continuous-time stochastic games with time-bounded reachability Information and Computation	2013-06-06	Paper
Continuous-time stochastic games with time-bounded reachability	2012-10-24	Paper
Departure model and its mathematical expression	2011-11-03	Paper
Fixed-delay events in generalized semi-Markov processes revisited CONCUR 2011 – Concurrency Theory	2011-09-02	Paper
Stochastic Real-Time Games with Qualitative Timed Automata Objectives CONCUR 2010 - Concurrency Theory	2010-08-31	Paper

Research outcomes over time

This page was built for person: Jan Krčál