Author of the publication

Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms.

, , , , and . ACM Trans. Model. Comput. Simul., 29 (4): 28:1-28:26 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness, , , and . CoRR, (2010)Dealing with Zero Density Using Piecewise Phase-Type Approximation., , and . EPEW, volume 8721 of Lecture Notes in Computer Science, page 119-134. Springer, (2014)Almost linear Büchi automata., , and . Math. Struct. Comput. Sci., 22 (2): 203-235 (2012)On decidability of LTL model checking for process rewrite systems., , , and . Acta Inf., 46 (1): 1-28 (2009)Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games., , , and . AAMAS, page 659-666. International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM, (2018)On Decidability of LTL+Past Model Checking for Process Rewrite Systems., , and . INFINITY, volume 239 of Electronic Notes in Theoretical Computer Science, page 105-117. Elsevier, (2009)Almost Linear Büchi Automata, , and . EXPRESS, volume 8 of EPTCS, page 16-25. (2009)Synthesis of Optimal Resilient Control Strategies., , , and . CoRR, (2017)Decidable Race Condition and Open Coregions in HMSC., , , and . ECEASST, (2010)Controllable-Choice Message Sequence Graphs., and . MEMICS, volume 7721 of Lecture Notes in Computer Science, page 118-130. Springer, (2012)