From post

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.

 

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

ARCH-COMP22 Category Report: Stochastic Models., , , , , , , , , и 4 other автор(ы). ARCH@SAFECOMP, том 90 из EPiC Series in Computing, стр. 113-141. EasyChair, (2022)RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems., , , и . VALUETOOLS, том 539 из Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, стр. 170-182. Springer, (2023)Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks., , , и . TASE, том 13931 из Lecture Notes in Computer Science, стр. 164-182. Springer, (2023)ARCH-COMP23 Category Report: Stochastic Models., , , , , , , , , и 4 other автор(ы). ARCH, том 96 из EPiC Series in Computing, стр. 126-150. EasyChair, (2023)State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings., , , , и . QEST, том 11785 из Lecture Notes in Computer Science, стр. 182-199. Springer, (2019)ARCH-COMP20 Category Report: Stochastic Models., , , , , , , , , и 6 other автор(ы). ARCH, том 74 из EPiC Series in Computing, стр. 76-106. EasyChair, (2020)ARCH-COMP21 Category Report: Stochastic Models., , , , , , , , , и 10 other автор(ы). ARCH@ADHS, том 80 из EPiC Series in Computing, стр. 55-89. EasyChair, (2021)