Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 32)

H-INDEX

2
(FIVE YEARS 2)

Published By Springer International Publishing

9783030532871, 9783030532888
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals TarTar: A Timed Automata Repair Tool

2020 ◽  
pp. 529-540
Author(s):  
Martin Kölbl ◽  
Stefan Leue ◽  
Thomas Wies
Keyword(s):  
Timed Automata

scholarly journals Systematic Generation of Diverse Benchmarks for DNN Verification

2020 ◽  
pp. 97-121
Author(s):  
Dong Xu ◽  
David Shriver ◽  
Matthew B. Dwyer ◽  
Sebastian Elbaum

scholarly journals Improved Geometric Path Enumeration for Verifying ReLU Neural Networks

2020 ◽  
pp. 66-96 ◽  
Author(s):  
Stanley Bak ◽  
Hoang-Dung Tran ◽  
Kerianne Hobbs ◽  
Taylor T. Johnson
Keyword(s):  
Neural Networks

scholarly journals AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

2020 ◽  
pp. 569-581
Author(s):  
Nikola Beneš ◽  
Luboš Brim ◽  
Jakub Kadlecaj ◽  
Samuel Pastva ◽  
David Šafránek
Keyword(s):  
Bifurcation Analysis ◽  
Boolean Networks ◽  
Attractor Bifurcation

scholarly journals Hampa: Solver-Aided Recency-Aware Replication

2020 ◽  
pp. 324-349
Author(s):  
Xiao Li ◽  
Farzin Houshmand ◽  
Mohsen Lesani
Load More ...
Sign in / Sign up

Export Citation Format

Share Document