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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319465197, 9783319465203

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Partial-Order Reduction for GPU Model Checking

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

10.1007/978-3-319-46520-3_23 ◽

2016 ◽

pp. 357-374 ◽

Cited By ~ 7

Author(s):

Thomas Neele ◽

Anton Wijs ◽

Dragan Bošnački ◽

Jaco van de Pol

Keyword(s):

Model Checking ◽

Partial Order ◽

Order Reduction ◽

Partial Order Reduction

Download Full-text

Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations

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

10.1007/978-3-319-46520-3_2 ◽

2016 ◽

pp. 13-31 ◽

Cited By ~ 2

Author(s):

Alessandro Abate ◽

Milan Češka ◽

Marta Kwiatkowska

Keyword(s):

Markov Decision Processes ◽

Policy Iteration ◽

Decision Processes ◽

Markov Decision ◽

Approximate Policy Iteration

Download Full-text

Solving Mean-Payoff Games on the GPU

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

10.1007/978-3-319-46520-3_17 ◽

2016 ◽

pp. 262-267 ◽

Cited By ~ 7

Author(s):

Philipp J. Meyer ◽

Michael Luttenberger

Keyword(s):

Mean Payoff Games ◽

Mean Payoff

Download Full-text

Synchronous Products of Rewrite Systems

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

10.1007/978-3-319-46520-3_10 ◽

2016 ◽

pp. 141-156 ◽

Cited By ~ 2

Author(s):

Óscar Martín ◽

Alberto Verdejo ◽

Narciso Martí-Oliet

Keyword(s):

Rewrite Systems

Download Full-text

Synthesizing Skeletons for Reactive Systems

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

10.1007/978-3-319-46520-3_18 ◽

2016 ◽

pp. 271-286 ◽

Cited By ~ 2

Author(s):

Bernd Finkbeiner ◽

Hazem Torfah

Keyword(s):

Reactive Systems

Download Full-text

Symbolic Model Checking for Factored Probabilistic Models

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

10.1007/978-3-319-46520-3_28 ◽

2016 ◽

pp. 444-460 ◽

Cited By ~ 1

Author(s):

David Deininger ◽

Rayna Dimitrova ◽

Rupak Majumdar

Keyword(s):

Model Checking ◽

Probabilistic Models ◽

Symbolic Model Checking ◽

Symbolic Model

Download Full-text

Certified Symbolic Execution

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

10.1007/978-3-319-46520-3_31 ◽

2016 ◽

pp. 495-511 ◽

Cited By ~ 1

Author(s):

Rui Qiu ◽

Corina S. Păsăreanu ◽

Sarfraz Khurshid

Keyword(s):

Symbolic Execution

Download Full-text

Bounded Model Checking for Probabilistic Programs

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

10.1007/978-3-319-46520-3_5 ◽

2016 ◽

pp. 68-85 ◽

Cited By ~ 9

Author(s):

Nils Jansen ◽

Christian Dehnert ◽

Benjamin Lucien Kaminski ◽

Joost-Pieter Katoen ◽

Lukas Westhofen

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Probabilistic Programs

Download Full-text

Optimizing the Expected Mean Payoff in Energy Markov Decision Processes

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

10.1007/978-3-319-46520-3_3 ◽

2016 ◽

pp. 32-49 ◽

Cited By ~ 6

Author(s):

Tomáš Brázdil ◽

Antonín Kučera ◽

Petr Novotný

Keyword(s):

Markov Decision Processes ◽

Decision Processes ◽

Markov Decision ◽

Mean Payoff

Download Full-text

STL Model Checking of Continuous and Hybrid Systems

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

10.1007/978-3-319-46520-3_26 ◽

2016 ◽

pp. 412-427 ◽

Cited By ~ 7

Author(s):

Hendrik Roehm ◽

Jens Oehlerking ◽

Thomas Heinz ◽

Matthias Althoff

Keyword(s):

Model Checking ◽

Hybrid Systems ◽

Stl Model

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Partial-Order Reduction for GPU Model Checking

Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations

Solving Mean-Payoff Games on the GPU

Synchronous Products of Rewrite Systems

Synthesizing Skeletons for Reactive Systems

Symbolic Model Checking for Factored Probabilistic Models

Certified Symbolic Execution

Bounded Model Checking for Probabilistic Programs

Optimizing the Expected Mean Payoff in Energy Markov Decision Processes

STL Model Checking of Continuous and Hybrid Systems

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