| First-Order Timed Runtime Verification Using BDDs
|
2020 |
Havelund, Klaus |
| Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives
|
2020 |
Hahn, Ernst Moritz |
| Complexity of Verification and Synthesis of Threshold Automata
|
2020 |
Balasubramanian, A. R. |
| Robustness Verification for Classifier Ensembles
|
2020 |
Gross, Dennis |
| A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type
|
2020 |
Chen, Taolue |
| Explainable Reactive Synthesis
|
2020 |
Baumeister, Tom |
| Model Checking Branching Properties on Petri Nets with Transits
|
2020 |
Finkbeiner, Bernd |
| Minimal Witnesses for Probabilistic Timed Automata
|
2020 |
Jantsch, Simon |
| Probabilistic Hyperproperties with Nondeterminism
|
2020 |
Ábrahám, Erika |
| RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms
|
2020 |
Herdt, Vladimir |
| RTAMT: Online Robustness Monitors from STL
|
2020 |
Nickovic, Dejan |
| 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 |
| 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 |
Tag hinzufügen