Vojtěch Řehák

Available identifiers

zbMath Open rehak.vojtechMaRDI QIDQ1006889

List of research outcomes

Publication	Date of Publication	Type
Mean-payoff optimization in continuous-time Markov chains with parametric alarms	2024-09-08	Paper
Synthesis of Optimal Resilient Control Strategies	2022-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q5146593	2021-01-26	Paper
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms	2019-09-17	Paper
Measuring performance of continuous-time stochastic processes using timed automata	2017-05-16	Paper
Verification of Open Interactive Markov Chains	2017-01-26	Paper
On Decidability of LTL+Past Model Checking for Process Rewrite Systems	2015-03-19	Paper
Refining the undecidability border of weak bisimilarity	2013-10-07	Paper
On extensions of process rewrite systems: rewrite systems with weak finite-state unit	2013-09-09	Paper
LTL to Büchi Automata Translation: Fast and More Deterministic	2012-06-29	Paper
Almost linear Büchi automata	2012-05-11	Paper
Fixed-Delay Events in Generalized Semi-Markov Processes Revisited	2011-09-02	Paper
Stochastic Real-Time Games with Qualitative Timed Automata Objectives	2010-08-31	Paper
Reachability is decidable for weakly extended process rewrite systems	2009-06-11	Paper
On decidability of LTL model checking for process rewrite systems	2009-03-26	Paper
On Decidability of LTL Model Checking for Process Rewrite Systems	2008-04-17	Paper
Petri nets are less expressive than state-extended PA	2008-04-15	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science	2006-11-14	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper

Research outcomes over time

This page was built for person: Vojtěch Řehák