Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!

Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier

Browse the full LFCS paper archive.