The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis.

Mayuko Kori Natsuki Urabe Shin-ya Katsumata Kohei Suenaga Ichiro Hasuo

Published in: CoRR (2022)

Keyphrases

reachability analysis
markov decision processes
model checking
timed automata
incremental algorithms
state space
temporal logic
real time
objective function
relational databases
database design
search space
partially observable