Autor der Publikation

Dealing with Zero Density Using Piecewise Phase-Type Approximation.

, , und . EPEW, Volume 8721 von Lecture Notes in Computer Science, Seite 119-134. Springer, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Controller Synthesis for MDPs and Frequency LTL\GU., , und . LPAR, Volume 9450 von Lecture Notes in Computer Science, Seite 162-177. Springer, (2015)Dealing with Zero Density Using Piecewise Phase-Type Approximation., , und . EPEW, Volume 8721 von Lecture Notes in Computer Science, Seite 119-134. Springer, (2014)On Frequency LTL in Probabilistic Systems., und . CONCUR, Volume 42 von LIPIcs, Seite 184-197. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Fixed-Delay Events in Generalized Semi-Markov Processes Revisited., , , und . CONCUR, Volume 6901 von Lecture Notes in Computer Science, Seite 140-155. Springer, (2011)On time-average limits in deterministic and stochastic petri nets., , , , und . ICPE, Seite 421-422. ACM, (2013)Measuring performance of continuous-time stochastic processes using timed automata., , , , und . HSCC, Seite 33-42. ACM, (2011)Stochastic Real-Time Games with Qualitative Timed Automata Objectives., , , , und . CONCUR, Volume 6269 von Lecture Notes in Computer Science, Seite 207-221. Springer, (2010)Solving adversarial patrolling games with bounded error: (extended abstract)., , , , , und . AAMAS, Seite 1617-1618. IFAAMAS/ACM, (2014)Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis., , , , und . QEST, Volume 9259 von Lecture Notes in Computer Science, Seite 141-159. Springer, (2015)Controller synthesis for MDPs and Frequency LTL$\setminus$GU., , und . CoRR, (2015)