Open Systems in Reactive Environments: Control and Synthesis

This publication has 21 references indexed in Scilit:

• Church's Problem Revisited
  Bulletin of Symbolic Logic, 1999
• Robust Satisfaction
  Published by Springer Nature ,1999
• Controllers for discrete event systems via morphisms
  Published by Springer Nature ,1998
• Module checking revisited
  Published by Springer Nature ,1997
• Module checking
  Published by Springer Nature ,1996
• Modeling and Control of Logical Discrete Event Systems
  Published by Springer Nature ,1995
• Temporal and Modal Logic
  Published by Elsevier ,1990
• The complexity of tree automata and logics of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• On the Development of Reactive Systems
  Published by Springer Nature ,1985
• Solving Sequential Conditions by Finite-State Strategies
  Transactions of the American Mathematical Society, 1969