Dynamic Shielding for Reinforcement Learning in Black-Box Environments. | 0 | 0.34 | 2022 |
A Compositional Approach to Parity Games. | 0 | 0.34 | 2021 |
Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras - Turning Verification Witnesses Upside Down. | 0 | 0.34 | 2021 |
On the Effectiveness of Signal Rescaling in Hybrid System Falsification. | 0 | 0.34 | 2021 |
Architecture-Guided Test Resource Allocation via Logic. | 0 | 0.34 | 2021 |
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. | 0 | 0.34 | 2021 |
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments. | 0 | 0.34 | 2019 |
Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching. | 0 | 0.34 | 2019 |
Time-Staging Enhancement of Hybrid System Falsification. | 0 | 0.34 | 2018 |
Fibrational Bisimulations and Quantitative Reasoning. | 0 | 0.34 | 2018 |
Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors. | 0 | 0.34 | 2018 |
Causality-Aided Falsification. | 0 | 0.34 | 2017 |
Coalgebras and Higher-Order Computation: a GoI Approach. | 0 | 0.34 | 2016 |
Near-Optimal Scheduler Synthesis for LTL with Future Discounting. | 1 | 0.35 | 2014 |
The geometry of synchronization | 6 | 0.51 | 2014 |