| Model Checking Linear Dynamical Systems under Floating-point Rounding
|
2023 |
Lefaucheux, Engel |
| Feature Necessity & Relevancy in ML Classifier Explanations
|
2023 |
Huang, Xuanxiang |
| Validating Streaming JSON Documents with Learned VPAs
|
2023 |
Bruyère, Véronique |
| Antichains Algorithms for the Inclusion Problem Between ω-VPL
|
2023 |
Doveri, Kyveli |
| The Packing Chromatic Number of the Infinite Square Grid is 15
|
2023 |
Subercaseaux, Bernardo |
| ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving
|
2023 |
Heisinger, Maximilian |
| Automated Verification for Real-Time Systems: via Implicit Clocks and an Extended Antimirov Algorithm
|
2023 |
Song, Yahui |
| Verifying Learning-Based Robotic Navigation Systems
|
2023 |
Amir, Guy |
| A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems
|
2023 |
Chatterjee, Krishnendu |
| Reconciling Preemption Bounding with DPOR
|
2023 |
Marmanis, Iason |
| Symbolic Model Checking for TLA+ Made Faster
|
2023 |
Otoni, Rodrigo |
| Neural Network-Guided Synthesis of Recursive List Functions
|
2023 |
Kobayashi, Naoki |
| Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers
|
2023 |
Michaelson, Dawn |
| Carcara: An efficient proof checker and elaborator for SMT proofs in the Alethe format
|
2023 |
Andreotti, Bruno |
| Robust Almost-Sure Reachability in Multi-Environment MDPs
|
2023 |
Vegt, Marck van der |
| A Practitioner’s Guide to MDP Model Checking Algorithms
|
2023 |
Hartmanns, Arnd |
| A Formal CHERI-C Semantics for Verification
|
2023 |
Park, Seung Hoon |
| Parameterized Verification under TSO with Data Types
|
2023 |
Abdulla, Parosh Aziz |
| A GPU Tree Database for Many-Core Explicit State Space Exploration
|
2023 |
Wijs, Anton |
| ALASCA: Reasoning in Quantified Linear Arithmetic
|
2023 |
Korovin, Konstantin |
Tag hinzufügen