( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Measuring performance of continuous-time stochastic processes using timed automata.

, , , , и . HSCC, стр. 33-42. ACM, (2011)

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.

Vojtech Buzek

Ursula Vojtech

Johann Vojtech

Martin Rehak

Walter Rehak

 

Другие публикации лиц с тем же именем

Dealing with Zero Density Using Piecewise Phase-Type Approximation., , и . EPEW, том 8721 из Lecture Notes in Computer Science, стр. 119-134. Springer, (2014)Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games., , , и . AAMAS, стр. 659-666. International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM, (2018)Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms., , , , и . ACM Trans. Model. Comput. Simul., 29 (4): 28:1-28:26 (2019)On-the-fly adaptation of patrolling strategies in changing environments., , , , , и . UAI, том 180 из Proceedings of Machine Learning Research, стр. 244-254. PMLR, (2022)Controllable-Choice Message Sequence Graphs., и . MEMICS, том 7721 из Lecture Notes in Computer Science, стр. 118-130. Springer, (2012)Solving Patrolling Problems in the Internet Environment., , и . IJCAI, стр. 121-127. ijcai.org, (2018)Decidable Race Condition and Open Coregions in HMSC., , , и . ECEASST, (2010)General Optimization Framework for Recurrent Reachability Objectives., , , и . IJCAI, стр. 4642-4648. ijcai.org, (2022)LTL to Büchi Automata Translation: Fast and More Deterministic., , , и . TACAS, том 7214 из Lecture Notes in Computer Science, стр. 95-109. Springer, (2012)Verifying VHDL Designs with Multiple Clocks in SMV., , , , , и . FMICS/PDMC, том 4346 из Lecture Notes in Computer Science, стр. 148-164. Springer, (2006)