150 citations · 548 across the 51 of their papers we have counts for
20 papers · 1 filter
Shielded Reinforcement Learning for Hybrid Systems
Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen +2
Safe and optimal controller synthesis for switched-controlled hybrid systems, which combine differential equations and discrete changes of the system's state, is known to be intric…
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen +3
We introduce polynomial couplings, a generalization of probabilistic couplings, to develop an algorithm for the computation of equivalence relations which can be interpreted as a l…
Mixed Nondeterministic-Probabilistic Interfaces
Albert Benveniste, Kim Larsen, Jean-Baptiste Raclet
Interface theories are powerful frameworks supporting incremental and compositional design of systems through refinements and constructs for conjunction, and parallel composition.…
It's Time to Play Safe: Shield Synthesis for Timed Systems
Roderick Bloem, Peter Gjøl Jensen, Bettina Könighofer +3
Erroneous behaviour in safety critical real-time systems may inflict serious consequences. In this paper, we show how to synthesize timed shields from timed safety properties given…
Stubborn Set Reduction for Two-Player Reachability Games
Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen +2
Partial order reductions have been successfully applied to model checking of concurrent systems and practical applications of the technique show nontrivial reduction in the size of…
Reasoning About Bounds in Weighted Transition Systems
Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare +1
We propose a way of reasoning about minimal and maximal values of the weights of transitions in a weighted transition system (WTS). This perspective induces a notion of bisimulatio…