Author of the publication

Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis.

, , , , and . QEST, volume 9259 of Lecture Notes in Computer Science, page 141-159. Springer, (2015)

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)On decidability of LTL model checking for process rewrite systems., , , and . Acta Inf., 46 (1): 1-28 (2009)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)Almost Linear Büchi Automata, , and . EXPRESS, volume 8 of EPTCS, page 16-25. (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)Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis., , , , and . CoRR, (2014)LTL to Büchi Automata Translation: Fast and More Deterministic., , , and . TACAS, volume 7214 of Lecture Notes in Computer Science, page 95-109. Springer, (2012)Synthesizing Efficient Solutions for Patrolling Problems in the Internet Environment., , and . CoRR, (2018)