Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

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

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 AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems

2020 ◽  
pp. 461-474
Author(s):  
Abolfazl Lavaei ◽  
Mahmoud Khaled ◽  
Sadegh Soudjani ◽  
Majid Zamani
Keyword(s):  
Large Scale ◽  
Stochastic Systems ◽  
Controller Synthesis

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 Recursive Data Structures in SPARK

2020 ◽  
pp. 178-189 ◽  
Author(s):  
Claire Dross ◽  
Johannes Kanig
Keyword(s):  
Data Structures ◽  
Recursive Data Structures ◽  
Recursive Data

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 Manthan: A Data-Driven Approach for Boolean Function Synthesis

2020 ◽  
pp. 611-633 ◽  
Author(s):  
Priyanka Golia ◽  
Subhajit Roy ◽  
Kuldeep S. Meel
Keyword(s):  
Boolean Function ◽  
Data Driven ◽  
Data Driven Approach

scholarly journals MetaVal: Witness Validation via Verification

2020 ◽  
pp. 165-177 ◽  
Author(s):  
Dirk Beyer ◽  
Martin Spiessl

scholarly journals Certifying Certainty and Uncertainty in Approximate Membership Query Structures

2020 ◽  
pp. 279-303
Author(s):  
Kiran Gopinathan ◽  
Ilya Sergey
Keyword(s):  
Membership Query

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