Ľuboš Korenčiak | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Christel Baier
32 publications
Antonin Kucera
16 publications
Clemens Dubslaff
13 publications
Vojtěch Řehák
8 publications
Antonín Kučera Vojtěch Řehák
1 publication

research

∙ 07/11/2017

Synthesis of Optimal Resilient Control Strategies

Repair mechanisms are important within resilient systems to maintain the...

0 Christel Baier, et al. ∙

research

∙ 06/20/2017

Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms

Continuous-time Markov chains with alarms (ACTMCs) allow for alarm event...

0 Christel Baier, et al. ∙