47 citations · 144 across the 34 of their papers we have counts for
3 papers · 1 filter
Efficient Algorithms for Checking Fast Termination in VASS
Tomáš Brázdil, Krishnendu Chatterjee, Antonín Kučera +2
Vector Addition Systems with States (VASS) consists of a finite state space equipped with d counters, where in each transition every counter is incremented, decremented, or left un…
Synthesis of Optimal Resilient Control Strategies
Christel Baier, Clemens Dubslaff, Ľuboš Korenčiak +1
Repair mechanisms are important within resilient systems to maintain the system in an operational state after an error occurred. Usually, constraints on the repair mechanisms are i…
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms
Christel Baier, Clemens Dubslaff, Ľuboš Korenčiak +2
Continuous-time Markov chains with alarms (ACTMCs) allow for alarm events that can be non-exponentially distributed. Within parametric ACTMCs, the parameters of alarm-event distrib…