The following pages link to Jan Krčál (Q1951599):
Displaying 15 items.
- Continuous-time stochastic games with time-bounded reachability (Q1951600) (← links)
- Schedulers are no Prophets (Q2796225) (← links)
- Distributed Synthesis in Continuous Time (Q2811352) (← links)
- Compositional Verification and Optimization of Interactive Markov Chains (Q2842120) (← links)
- Continuous-Time Stochastic Games with Time-Bounded Reachability. (Q2920113) (← links)
- Verification of Open Interactive Markov Chains (Q2957522) (← links)
- Measuring performance of continuous-time stochastic processes using timed automata (Q2986711) (← links)
- Fixed-Delay Events in Generalized Semi-Markov Processes Revisited (Q3090827) (← links)
- (Q3095717) (← links)
- Probabilistic Bisimulation: Naturally on Distributions (Q3190122) (← links)
- Controller Synthesis for MDPs and Frequency LTL $$_{\setminus \mathbf{G}\mathbf U}$$ (Q3460051) (← links)
- Optimal Continuous Time Markov Decisions (Q3460554) (← links)
- Stochastic Real-Time Games with Qualitative Timed Automata Objectives (Q3584931) (← links)
- (Q4994959) (← links)
- On Frequency LTL in Probabilistic Systems (Q5357703) (← links)
