Showing 1–20 of 21 results
/ Date/ Name
May 26, 2021TEMPEST -- Synthesis Tool for Reactive Systems and Shields in Probabilistic EnvironmentsOct 8, 2020Adaptive Shielding under UncertaintyApr 15, 2019Synthesis of Admissible ShieldsDec 17, 2020Online Shielding for Stochastic SystemsDec 4, 2022Online Shielding for Reinforcement LearningAug 30, 2022Correct-by-Construction Runtime Enforcement in AI -- A SurveyAug 29, 2017Safe Reinforcement Learning via ShieldingJul 16, 2018Safe Reinforcement Learning via Probabilistic ShieldsAug 22, 2013Synthesizing Multiple Boolean Functions using Interpolation on a Single ProofJun 29, 2023Learning Environment Models with Continuous Stochastic DynamicsJun 30, 2020It's Time to Play Safe: Shield Synthesis for Timed SystemsMay 22, 2024Tools at the Frontiers of Quantitative VerificationDec 4, 2022Automata Learning meets ShieldingMay 9, 2023'Put the Car on the Stand': SMT-based Oracles for Investigating DecisionsJul 4, 2023Analyzing Intentional Behavior in Autonomous Agents under UncertaintyJul 4, 2012Synthesizing Robust Systems with RATSYMay 7, 2022Search-Based Testing of Reinforcement LearningNov 12, 2024Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement LearningJan 12, 2015Shield Synthesis: Runtime Enforcement for Reactive SystemsJul 5, 2023Safety Shielding under Delayed Observation