a922b7121007768f78f770c404415375-Paper-Conference.pdf
–Neural Information Processing Systems
Notably, modern tools for the verification of hybrid automata are designed formodels thatrarely haveoverhundred discrete states [7],while arbitrary meshes grow exponentially as the granularity increases.
Neural Information Processing Systems
Feb-11-2026, 05:57:49 GMT