108 citations · 1.6k across the 73 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025★ 1 cited
Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Peter Gjøl Jensen +4
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.…
quant-ph2025
Chemical bonding concepts emerge naturally from maximally entangled atomic orbitals
Lexin Ding, Eduard Matito, Christian Schilling
Chemical bonding is a nonlocal phenomenon that binds atoms into molecules. Its ubiquitous presence in chemistry, however, stands in stark contrast to its ambiguous definition and t…