C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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