Exploiting Adjoints in Property Directed Reachability Analysis.

Mayuko Kori Flavio Ascari Filippo Bonchi Roberto Bruni Roberta Gori Ichiro Hasuo

Published in: CAV (2) (2023)

Keyphrases

reachability analysis
model checking
markov decision processes
timed automata
incremental algorithms
state space
real time
reinforcement learning
random walk