Exploiting Adjoints in Property Directed Reachability Analysis.

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

Published in: CoRR (2023)

Keyphrases

reachability analysis
model checking
markov decision processes
timed automata
incremental algorithms
state space
search algorithm
machine learning
artificial intelligence
context aware