Branch-Well-Structured Transition Systems and Extensions.

Benedikt Bollig Alain Finkel Amrita Suresh

Published in: CoRR (2022)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
reinforcement learning
search algorithm
model checker
artificial intelligence
data model