AIGEN: Random Generation of Symbolic Transition Systems.

Swen Jacobs Mouhammad Sakr

Published in: CAV (2) (2021)

Keyphrases

transition systems
temporal logic
concurrent systems
model checking
finite state
practical reasoning
control flow
distributed systems
multiagent systems
reactive systems
reinforcement learning
binary decision diagrams