Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL.

Aidan Harding, Mark Ryan, Pierre-Yves Schobbens

Browse the full TIME paper archive.