| 1 |
An Abstraction-Based Framework for Neural Network Verification
Yizhak Yisrael Elboher, Justin Gottschlich, Guy Katz
|
🔮
The Ethereal
|
cs.FL
|
135 |
6 years ago |
| 2 |
Montre: A Tool for Monitoring Timed Regular Expressions
Dogan Ulus
|
🔮
The Ethereal
|
cs.FL
|
36 |
9 years ago |
| 3 |
Understanding and Extending Incremental Determinization for 2QBF
Markus N. Rabe, Leander Tentrup, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
28 |
6 years ago |
| 4 |
Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report)
Anthony W. Lin, Philipp Ruemmer
|
🔮
The Ethereal
|
cs.LO
|
25 |
9 years ago |
| 5 |
Parameterized Verification of Systems with Global Synchronization and Guards
Nouraldin Jaber, Swen Jacobs, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
24 |
5 years ago |
| 6 |
Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
Lorenz Leutgeb, Georg Moser, Florian Zuleger
|
🔮
The Ethereal
|
cs.LO
|
21 |
3 years ago |
| 7 |
Complete Multiparty Session Type Projection with Automata
Elaine Li, Felix Stutz, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
19 |
2 years ago |
| 8 |
Structural Synthesis for GXW Specifications
Chih-Hong Cheng, Yassine Hamza, Harald Ruess
|
🔮
The Ethereal
|
cs.LO
|
17 |
9 years ago |
| 9 |
Hitting Families of Schedules for Asynchronous Programs
Dmitry Chistikov, Rupak Majumdar, Filip Niksic
|
🔮
The Ethereal
|
cs.DM
|
12 |
10 years ago |
| 10 |
Symbolic BDD and ADD Algorithms for Energy Games
Shahar Maoz, Or Pistiner, Jan Oliver Ringert
|
🔮
The Ethereal
|
cs.LO
|
6 |
9 years ago |
| 11 |
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling
Michael Blondin, Javier Esparza, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
6 |
5 years ago |
| 12 |
Full LTL Synthesis over Infinite-state Arenas
Shaun Azzopardi, Luca Di Stefano, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
5 |
2 years ago |
| 13 |
Skipping Refinement
Mitesh Jain, Panagiotis Manolios
|
🔮
The Ethereal
|
cs.LO
|
4 |
11 years ago |
| 14 |
Syntax-Guided Automated Program Repair for Hyperproperties
Raven Beutner, Tzu-Han Hsu, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
3 |
1 year ago |
| 15 |
An Intermediate Program Representation for Optimizing Stream-Based Languages
Jan Baumeister, Arthur Correnson, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
11 months ago |
| 16 |
GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency
Soham Chakraborty, S. Krishna, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
10 months ago |
| 17 |
INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition
Suguman Bansal, Ramneet Singh
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 months ago |