Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems

Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Andreas Holck Høeg-Petersen +8

We present Uppaal Coshy, a tool for automatic synthesis of a safety strategy -- or shield -- for Markov decision processes over continuous state spaces and complex hybrid dynamics.…