| Document Date: 2009-02-25 10:33:24
Open Document File Size: 212,71 KBShare Result on Facebook
City Birmingham / / Company Pnueli / / Facility The University of Birmingham / / IndustryTerm symbolic fair cycle detection algorithms / network communication protocols / na¨ıve algorithm / potential applications / synthesis algorithm / finite-state reactive systems / computing / reactive systems / industrial control systems / main synthesis algorithm / / Organization School of Computer Science / UK Institut d’Informatique / University of Birmingham / / Person Rabin / Emerson / Lei / / Position forward / / ProvinceOrState New Brunswick / / Technology network communication protocols / main algorithm / main synthesis algorithm / synthesis algorithm / na¨ıve algorithm / symbolic fair cycle detection algorithms / /
SocialTag |
A New Algorithm for Strategy Synthesis in LTL Games Aidan Harding1 , Mark Ryan1 , and Pierre-Yves Schobbens2 1 2