1. Realizable and unrealizable specifications of reactive systems;Abadi,1989
2. Real-time logics: complexity and expressiveness;Alur;Inform. and Comput.,1993
3. Applying decision theory to reactive planning;Bacchus,1994
4. Using temporal logic to control search in a forward chaining planner;Bacchus,1995