Sign in

In memory of Oded Maler: automatic reachability analysis of hybrid-state automata.

Martin FränzleMingshuai ChenPaul Kröger
Published in: ACM SIGLOG News (2019)
Keyphrases
  • reachability analysis
  • semi automatic
  • state space
  • timed automata
  • model checking
  • cellular automata
  • search space
  • markov decision processes
  • memory requirements