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

TOTAL DOCUMENTS

34
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030591519, 9783030591526
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Robust Controller Synthesis for Duration Calculus

2020 ◽  
pp. 429-446
Author(s):  
Kalyani Dole ◽  
Ashutosh Gupta ◽  
Shankara Narayanan Krishna
Keyword(s):  
Controller Synthesis ◽  
Robust Controller ◽  
Duration Calculus

Parallel Graph-Based Stateless Model Checking

2020 ◽  
pp. 377-393
Author(s):  
Magnus Lång ◽  
Konstantinos Sagonas
Keyword(s):  
Model Checking ◽  
Parallel Graph

Urgent Partial Order Reduction for Extended Timed Automata

2020 ◽  
pp. 179-195
Author(s):  
Kim G. Larsen ◽  
Marius Mikučionis ◽  
Marco Muñiz ◽  
Jiří Srba
Keyword(s):  
Partial Order ◽  
Timed Automata ◽  
Order Reduction ◽  
Partial Order Reduction ◽  
Extended Timed Automata

scholarly journals Explainable Reactive Synthesis

2020 ◽  
pp. 413-428
Author(s):  
Tom Baumeister ◽  
Bernd Finkbeiner ◽  
Hazem Torfah
Keyword(s):  
Reactive Synthesis

scholarly journals Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling

2020 ◽  
pp. 467-483
Author(s):  
Yong Li ◽  
Andrea Turrini ◽  
Xuechao Sun ◽  
Lijun Zhang
Keyword(s):  
Monte Carlo ◽  
Monte Carlo Sampling ◽  
Büchi Automata ◽  
Buchi Automata

scholarly journals Robustness Verification for Classifier Ensembles

2020 ◽  
pp. 271-287
Author(s):  
Dennis Gross ◽  
Nils Jansen ◽  
Guillermo A. Pérez ◽  
Stephan Raaijmakers
Keyword(s):  
Classifier Ensembles

scholarly journals Verification of Indefinite-Horizon POMDPs

2020 ◽  
pp. 288-304
Author(s):  
Alexander Bork ◽  
Sebastian Junges ◽  
Joost-Pieter Katoen ◽  
Tim Quatmann

scholarly journals Minimal Witnesses for Probabilistic Timed Automata

2020 ◽  
pp. 501-517
Author(s):  
Simon Jantsch ◽  
Florian Funke ◽  
Christel Baier
Keyword(s):  
Timed Automata ◽  
Probabilistic Timed Automata
Load More ...
Sign in / Sign up

Export Citation Format

Share Document