Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

33
(FIVE YEARS 33)

H-INDEX

2
(FIVE YEARS 2)

Published By Springer International Publishing

9783030532901, 9783030532918
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL

2020 ◽  
pp. 64-76
Author(s):  
Bernd Finkbeiner ◽  
Manuel Gieseking ◽  
Jesko Hecking-Harbusch ◽  
Ernst-Rüdiger Olderog
Keyword(s):  
Petri Nets ◽  
Model Checker

scholarly journals Qualitative Controller Synthesis for Consumption Markov Decision Processes

2020 ◽  
pp. 421-447
Author(s):  
František Blahoudek ◽  
Tomáš Brázdil ◽  
Petr Novotný ◽  
Melkior Ornik ◽  
Pranay Thangeda ◽  
...  
Keyword(s):  
Markov Decision Processes ◽  
Decision Processes ◽  
Controller Synthesis ◽  
Markov Decision

scholarly journals Automata Tutor v3

2020 ◽  
pp. 3-14
Author(s):  
Loris D’Antoni ◽  
Martin Helfrich ◽  
Jan Kretinsky ◽  
Emanuel Ramneantu ◽  
Maximilian Weininger

scholarly journals Decidable Synthesis of Programs with Uninterpreted Functions

2020 ◽  
pp. 634-657
Author(s):  
Paul Krogmeier ◽  
Umang Mathur ◽  
Adithya Murali ◽  
P. Madhusudan ◽  
Mahesh Viswanathan

scholarly journals PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time

2020 ◽  
pp. 475-487 ◽  
Author(s):  
Marta Kwiatkowska ◽  
Gethin Norman ◽  
David Parker ◽  
Gabriel Santos
Keyword(s):  
Stochastic Game
Load More ...
Sign in / Sign up

Export Citation Format

Share Document