Mapping temporal planning constraints into timed automata

@article{Khatib2001MappingTP,
  title={Mapping temporal planning constraints into timed automata},
  author={Lina Khatib and Nicola Muscettola and Klaus Havelund},
  journal={Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001},
  year={2001},
  pages={21-27}
}
Planning and model checking are similar in concept. They both deal with reaching a goal state from an initial state by applying specified rules that allow for the transition from one state to another. Exploring the relationship between them is an interesting new research area. We are interested in planning frameworks that combine both planning and scheduling. For that, we focus our attention on real time model checking. As a first step, we developed a mapping from planning domain models into… CONTINUE READING

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 25 CITATIONS

Formal Design and Verification of Dynamic Caching for Automatic Playout System

  • 2015 3rd International Conference on Applied Computing and Information Technology/2nd International Conference on Computational Science and Intelligence
  • 2015
VIEW 9 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Unifying Patterns for Modelling Timed Relationships in Systems and Properties

  • PNSE @ Petri Nets
  • 2015
VIEW 10 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Uninterrupted Automatic Broadcasting Based on Timed Automata

  • 2015 3rd International Conference on Applied Computing and Information Technology/2nd International Conference on Computational Science and Intelligence
  • 2015
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 14 REFERENCES