[2406.19890] Learning Branching-Time Properties in CTL and ATL via Constraint Solving