The Complexity of Learning LTL, CTL and ATL Formulas.

Benjamin Bordais, Daniel Neider, Rajarshi Roy

Browse the full STACS paper archive.