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

Aidan Harding Mark Ryan Pierre-Yves Schobbens Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL. 137-146 2003 conf/time/2003 TIME http://csdl.computer.org/comp/proceedings/time-ictl/2003/1912/00/19120137abs.htm db/conf/time/time2003.html#HardingRS03