Login / Signup

PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata.

Werner DammCarsten IhlemannViorica Sofronie-Stokkermans
Published in: Math. Comput. Sci. (2011)
Keyphrases
  • hybrid automata
  • finite state automata
  • data complexity
  • safety analysis
  • high quality
  • decision makers
  • model checking
  • semi parametric
  • signature verification