Learning Branching-Time Properties in CTL and ATL via Constraint Solving.

Benjamin Bordais Daniel Neider Rajarshi Roy

Published in: CoRR (2024)

Keyphrases

constraint solving
temporal logic
model checking
learning process
learning algorithm
reinforcement learning
multi agent systems
special case
temporal properties
visual information
constraint satisfaction
constraint propagation
constraint logic programming