Automated Technology for Verification and Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

31
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783030317836, 9783030317843
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Adaptive Online First-Order Monitoring

2019 ◽  
pp. 133-150 ◽  
Author(s):  
Joshua Schneider ◽  
David Basin ◽  
Frederik Brix ◽  
Srđan Krstić ◽  
Dmitriy Traytel
Keyword(s):  
First Order

scholarly journals Deciding Fast Termination for Probabilistic VASS with Nondeterminism

2019 ◽  
pp. 462-478
Author(s):  
Tomáš Brázdil ◽  
Krishnendu Chatterjee ◽  
Antonín Kučera ◽  
Petr Novotný ◽  
Dominik Velan

scholarly journals Approximate Automata for Omega-Regular Languages

2019 ◽  
pp. 334-349
Author(s):  
Rayna Dimitrova ◽  
Bernd Finkbeiner ◽  
Hazem Torfah
Keyword(s):  
Regular Languages

scholarly journals Are Parametric Markov Chains Monotonic?

2019 ◽  
pp. 479-496 ◽  
Author(s):  
Jip Spel ◽  
Sebastian Junges ◽  
Joost-Pieter Katoen
Keyword(s):  
Markov Chains

Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs

2019 ◽  
pp. 81-97 ◽  
Author(s):  
Manfred Jaeger ◽  
Peter Gjøl Jensen ◽  
Kim Guldstrand Larsen ◽  
Axel Legay ◽  
Sean Sedwards ◽  
...  
Keyword(s):  
Optimal Synthesis ◽  
Continuous Space

Model Checking Data Flows in Concurrent Network Updates

2019 ◽  
pp. 515-533 ◽  
Author(s):  
Bernd Finkbeiner ◽  
Manuel Gieseking ◽  
Jesko Hecking-Harbusch ◽  
Ernst-Rüdiger Olderog
Keyword(s):  
Model Checking ◽  
Data Flows ◽  
Network Updates
Load More ...
Sign in / Sign up

Export Citation Format

Share Document