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

TOTAL DOCUMENTS

(FIVE YEARS 34)

H-INDEX

(FIVE YEARS 1)

Published By Springer International Publishing

9783030591519, 9783030591526

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

DG: Analysis and Slicing of LLVM Bitcode

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

10.1007/978-3-030-59152-6_33 ◽

2020 ◽

pp. 557-563

Author(s):

Marek Chalupa

Download Full-text

Robust Controller Synthesis for Duration Calculus

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

10.1007/978-3-030-59152-6_24 ◽

2020 ◽

pp. 429-446

Author(s):

Kalyani Dole ◽

Ashutosh Gupta ◽

Shankara Narayanan Krishna

Keyword(s):

Controller Synthesis ◽

Robust Controller ◽

Duration Calculus

Download Full-text

Parallel Graph-Based Stateless Model Checking

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

10.1007/978-3-030-59152-6_21 ◽

2020 ◽

pp. 377-393

Author(s):

Magnus Lång ◽

Konstantinos Sagonas

Keyword(s):

Model Checking ◽

Parallel Graph

Download Full-text

Urgent Partial Order Reduction for Extended Timed Automata

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

10.1007/978-3-030-59152-6_10 ◽

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

Download Full-text

Verifying Recurrent Neural Networks Using Invariant Inference

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

10.1007/978-3-030-59152-6_3 ◽

2020 ◽

pp. 57-74

Author(s):

Yuval Jacoby ◽

Clark Barrett ◽

Guy Katz

Keyword(s):

Neural Networks ◽

Recurrent Neural Networks

Download Full-text

Explainable Reactive Synthesis

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

10.1007/978-3-030-59152-6_23 ◽

2020 ◽

pp. 413-428

Author(s):

Tom Baumeister ◽

Bernd Finkbeiner ◽

Hazem Torfah

Keyword(s):

Reactive Synthesis

Download Full-text

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

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

10.1007/978-3-030-59152-6_26 ◽

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

Download Full-text

Robustness Verification for Classifier Ensembles

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

10.1007/978-3-030-59152-6_15 ◽

2020 ◽

pp. 271-287

Author(s):

Dennis Gross ◽

Nils Jansen ◽

Guillermo A. Pérez ◽

Stephan Raaijmakers

Keyword(s):

Classifier Ensembles

Download Full-text

Verification of Indefinite-Horizon POMDPs

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

10.1007/978-3-030-59152-6_16 ◽

2020 ◽

pp. 288-304

Author(s):

Alexander Bork ◽

Sebastian Junges ◽

Joost-Pieter Katoen ◽

Tim Quatmann

Download Full-text

Minimal Witnesses for Probabilistic Timed Automata

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

10.1007/978-3-030-59152-6_28 ◽

2020 ◽

pp. 501-517

Author(s):

Simon Jantsch ◽

Florian Funke ◽

Christel Baier

Keyword(s):

Timed Automata ◽

Probabilistic Timed Automata

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

DG: Analysis and Slicing of LLVM Bitcode

Robust Controller Synthesis for Duration Calculus

Parallel Graph-Based Stateless Model Checking

Urgent Partial Order Reduction for Extended Timed Automata

Verifying Recurrent Neural Networks Using Invariant Inference

Explainable Reactive Synthesis

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

Robustness Verification for Classifier Ensembles

Verification of Indefinite-Horizon POMDPs

Minimal Witnesses for Probabilistic Timed Automata

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