| Global PAC Bounds for Learning Discrete Time Markov Chains
|
2020 |
Bazille, Hugo |
| AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems
|
2020 |
Lavaei, Abolfazl |
| STMC: Statistical Model Checker with Stratified and Antithetic Sampling
|
2020 |
Roohi, Nima |
| PRISM-games 3.0: Stochastic Game Verification with Concurrency., Equilibria and Time
|
2020 |
Kwiatkowska, Marta |
| Decidable Synthesis of Programs with Uninterpreted Functions
|
2020 |
Krogmeier, Paul |
| Action-Based Model Checking: Logic, Automata, and Reduction
|
2020 |
Siegel, Stephen F. |
| Global Guidance for Local Generalization in Model Checking
|
2020 |
Krishnan, Hari Govind Vediramana |
| Towards Model Checking Real-World Software-Defined Networks
|
2020 |
Klimis, Vasileios |
| Recursive Data Structures in SPARK
|
2020 |
Dross, Claire |
| Ivy: A Multi-modal Verification Tool for Distributed Algorithms
|
2020 |
McMillan, Kenneth L. |
| Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic
|
2020 |
Raad, Azalea |
| Certifying Certainty and Uncertainty in Approximate Membership Query Structures
|
2020 |
Gopinathan, Kiran |
| Qualitative Controller Synthesis for Consumption Markov Decision Processes
|
2020 |
Blahoudek, Frantisek |
| Optimistic Value Iteration
|
2020 |
Hartmanns, Arnd |
| PrIC3: Property Directed Reachability for MDPs
|
2020 |
Batz, Kevin |
| Automata Tutor v3
|
2020 |
D'Antoni, Loris |
| Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization
|
2020 |
Blahoudek, Frantisek |
| Realizing co-regular Hyperproperties . . .
|
2020 |
Finkbeiner, Bernd |
| Code2Inv: A Deep Learning Framework for Program Verification
|
2020 |
Si, Xujie |
| Maximum Causal Entropy Specification Inference from Demonstrations
|
2020 |
Vazquez-Chanlatte, Marcell |
Tag hinzufügen