| DeepAbstract: Neural Network Abstraction for Accelerating Verification
|
2020 |
Ashok, Pranav |
| NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks
|
2020 |
Goyal, Manish |
| Practical “Paritizing” of Emerson-Lei Automata
|
2020 |
Renkin, Florian |
| Multi-head Monitoring of Metric Dynamic Logic
|
2020 |
Raszyk, Martin |
| Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth
|
2020 |
Asadi, Ali |
| Boosting Sequential Consistency Checking Using Saturation
|
2020 |
Zennou, Rachid |
| Parallel Graph-Based Stateless Model Checking
|
2020 |
Lång, Magnus |
| Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling
|
2020 |
Li, Yong |
| Context-Aware Temporal Logic for Probabilistic Systems
|
2020 |
Elfar, Mahmoud |
| From Checking to Inference: Actual Causality Computations as Optimization Problems
|
2020 |
Ibrahim, Amjad |
| Dependency-Based Compositional Synthesis
|
2020 |
Finkbeiner, Bernd |
| Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs
|
2020 |
Esparza, Javier |
| Verified Textbook Algorithms
|
2020 |
Nipkow, Tobias |
| Verifying Recurrent Neural Networks Using Invariant Inference
|
2020 |
Jacoby, Yuval |
| On (I/0)-Aware Good-For-Games Automata
|
2020 |
Faran, Rachel |
| Urgent Partial Order Reduction for Extended Timed Automata
|
2020 |
Larsen, Kim G. |
| Eliminating Message Counters in Threshold Automata
|
2020 |
Stoilkovska, Ilina |
| Verification of Indefinite-Horizon POMDPs
|
2020 |
Bork, Alexander |
| Verification of a Generative Separation Kernel
|
2020 |
Haque, Inzemamul |
| Robust Controller Synthesis for Duration Calculus
|
2020 |
Dole, Kalyani |
Tag hinzufügen