1 citations · 2 across the 6 of their papers we have counts for
3 papers · 2 filters
Shielding for Higher-Order Safety
Filip Cano, Thomas A. Henzinger, Konstantin Kueffner
Safety shields are runtime enforcement mechanisms that restrict the actions of a controller to guarantee safety. Classical shields are usually synthesised for state predicates: the…
Energy Shields for Fairness
Filip Cano, Thomas A. Henzinger, Konstantin Kueffner
Runtime fairness is not a one-time constraint but a dynamic property evaluated over a sequence of decisions. To ensure fairness at runtime, it is necessary to account for past deci…
Multi-Environment POMDPs with Finite-Horizon Objectives
Léonard Brice, Filip Cano, Krishnendu Chatterjee +2
Partially Observable Markov Decision Processes (POMDPs) are systems in which one agent interacts with a stochastic environment, and receives only partial information about the curr…