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

Martin Fränzle Mingshuai Chen Paul 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