Login / Signup

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

Aidan HardingMark RyanPierre-Yves Schobbens
Published in: TIME (2003)
Keyphrases
  • real time
  • data sets
  • machine learning
  • decision making
  • database
  • databases
  • information retrieval
  • computer vision
  • image processing
  • high level
  • database systems
  • evolutionary algorithm
  • model checking
  • temporal logic