Nov 22, 2011 · This paper identifies an industrially relevant class of linear hybrid automata (LHA) called reasonable LHA for which parametric verification ...
Nov 22, 2011 · For the parametric verification of such properties we identify conditions under which the complexity is in PTIME, NP, or EXPTIME. Finally, we ...
This paper identifies an industrially relevant class of linear hybrid automata (LHA) called reasonable LHA for which parametric verification of convex ...
Abstract In this paper we introduce the problem of reachability analysis of hybrid automata to decide safety properties. Then we describe ARIADNE, an in- ...
Abstract: This paper identifies an industrially relevant class of linear hybrid automata (LHA) called reasonable LHA for which parametric verification of ...
This paper identifies an industrially relevant class of linear hybrid automata (LHA) called reasonable LHA for which parametric verification of convex ...
This paper identifies an industrially relevant class of linear hybrid automata (LHA) called reasonable LHA for which parametric verification of safety ...
PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata. Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans ...
This paper identifies an industrially relevant class of linear hybrid automata (LHA) called reasonable LHA for which parametric verification of safety ...
Missing: PTIME | Show results with:PTIME
Apr 25, 2024 · PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata. Math. Comput. Sci. 5(4): 469-497 (2011). [c6]. view.