| Bounded Model Checking for Asynchronous Hyperproperties
|
2023 |
Hsu, Tzu-Han |
| Optimal Stateless Model Checking for Causal Consistency
|
2023 |
Abdulla, Parosh |
| AutoHyper: Explicit-State Model Checking for HyperLTL
|
2023 |
Beutner, Raven |
| Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks
|
2023 |
Bassan, Shahaf |
| OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks
|
2023 |
Guo, Xingwu |
| Modular Mix-and-Match Complementation of Büchi Automata
|
2023 |
Havlena, Vojtěch |
| Propositional Proof Skeletons
|
2023 |
Reeves, Joseph E. |
| Correct Approximation of Stationary Distributions
|
2023 |
Meggendorfer, Tobias |
| Inferring Needless Write Memory Accesses on Ethereum Bytecode
|
2023 |
Albert, Elvira |
| Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning
|
2023 |
Hahn, Ernst Moritz |
| A Matrix-Based Approach to Parity Games
|
2023 |
Aggarwal, Saksham |
| 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 |
| Efficient Loop Conditions for Bounded Model Checking Hyperproperties
|
2023 |
Hsu, Tzu-Han |
Tag hinzufügen