Login / Signup

Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata.

Yuming WuLei BuJiawan WangXinyue RenWen XiongXuandong Li
Published in: VMCAI (2022)
Keyphrases
  • reachability analysis
  • hybrid automata
  • markov decision processes
  • model checking
  • finite state automata
  • incremental algorithms
  • timed automata
  • np complete