Learning Branching-Time Properties in CTL and ATL via Constraint Solving
Learning Branching-Time Properties in CTL and ATL via Constraint Solving
We address the problem of learning temporal properties from the branching-time behavior of systems. Existing research in this field has mostly focused on learning linear temporal properties specified using popular logics, such as Linear Temporal Logic (LTL) and Signal Temporal Logic (STL). Branching-time logics such as Computation Tree Logic (CTL) …