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

Benjamin Bordais, Daniel Neider, Rajarshi Roy

Browse the full FM paper archive.