| Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives
|
2021 |
Hahn, Ernst Moritz |
| BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning
|
2021 |
Scott, Joseph |
| Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers
|
2021 |
Kopylov, Alexei |
| Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models
|
2021 |
Coughlin, Nicholas |
| Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study
|
2021 |
Sato, Sota |
| Formal Verification of a JavaCard Virtual Machine with Frama-C
|
2021 |
Djoudi, Adel |
| Verification of the Incremental Merkle Tree Algorithm with Dafny
|
2021 |
Cassez, Franck |
| HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams
|
2021 |
Gorostiaga, Felipe |
| Dynamic Reconfiguration via Typed Modalities
|
2021 |
Ţuţu, Ionuţ |
| Formally Guaranteed Tight Dynamic Future Occupancy of Autonomous Vehicles
|
2021 |
Rahman, Yousaf |
| Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts
|
2021 |
Santos, César Augusto R. dos |
| Model Checking for Verification of Quantum Circuits
|
2021 |
Ying, Mingsheng |
| Verifying Secure Speculation in Isabelle/HOL
|
2021 |
Griffin, Matt |
| Two Mechanisations of WebAssembly 1.0
|
2021 |
Watt, Conrad |
| Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers
|
2021 |
Krishna, Shankara Narayanan |
| Verified Quadratic Virtual Substitution for Real Arithmetic
|
2021 |
Scharager, Matias |
| Gaussian Process-Based Confidence Estimation for Hybrid System Falsification
|
2021 |
Zhang, Zhenya |
| Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox
|
2021 |
Adelt, Julius |
| Z3str4: A Multi-armed String Solver
|
2021 |
Mora, Federico |
| Featured Team Automata
|
2021 |
Beek, Maurice H. ter |
Tag hinzufügen