Extended Process Rewrite Systems: Expressiveness and Reachability von KRETINSKY, Mojmir, REHAK, Vojtech, STREJCEK, Jan

Volltext

Reachability of Hennessy-Milner properties for weakly extended PRS von KRETISKY, Mojmfr, REHAK, Vojtech, STREJCEK, Jan

Volltext

Modelling multi-agent systems as synchronous concurrent constraint processes von BRIM, Lubos, KRETINSKY, Mojmir, JACQUET, Jean-Marie, GILBERT, David

Volltext

Comparing expressibility of normed BPA and normed BPP processes von CERNA, I, KRETINSKY, M, KUCERA, A

Volltext

Bisimilarity is decidable in the union of normed BPA and normed BPP processes von CERNA, I, KRETINSKY, M, KUCERA, A

Volltext

PAC statistical model checking of mean payoff in discrete- and continuous-time MDP von Agarwal, Chaitanya, Guha, Shibashis, Křetínský, Jan, Pazhamalai, M.

Volltext

Bisimilarity is decidable in the union of normed BPA and normed BPP processes von Cerná, I., Kretínský, M., Kucera, A.

Volltext

QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification von Dorfhuber, Florian, Eisentraut, Julia, Klioba, Katharina, Křetínský, Jan

Volltext

Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks von Hashemi, Vahid, Křetínskỳ, Jan, Rieder, Sabine, Schmidt, Jessica

Volltext

Faster Statistical Model Checking for Unbounded Temporal Properties von Daca, Przemysław, Henzinger, Thomas A., Křetínský, Jan, Petrov, Tatjana

Volltext

Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete von Beneš, Nikola, Křetínský, Jan, Larsen, Kim G., Srba, Jiří

Volltext

PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP von Agarwal, Chaitanya, Guha, Shibashis, Křetínský, Jan, Pazhamalai, M

Volltext bestellen

On Name Generation and Set-Based Analysis in the Dolev-Yao Model von Amadio, Roberto M., Charatonik, Witold

Volltext

PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP von Agarwal, Chaitanya, Guha, Shibashis, Křetínský, Jan, Pazhamalai, M

Volltext

Causality Semantics of Petri Nets with Weighted Inhibitor Arcs von Kleijn, H. C. M., Koutny, M.

Volltext

Theoretical Aspects of Computing - ICTAC 2012: 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings von Roychoudhury, Abhik, D´Souza, Meenakshi

Volltext