Abstract
Synthesis from temporal specifications is the automatic production of adaptable plans (or input enabled programs) from high level descriptions. The assumption underlying this form of synthesis is that we have two interacting reactive agents. The first agent is the system for which the plan / program is being designed. The second agent is the environment with which the system interacts. The exact mode of interaction and the knowledge available to each of the agents depends on the application domain. © 2013 Springer-Verlag.
Cite
CITATION STYLE
Piterman, N. (2013). Synthesis from temporal specifications: New applications in robotics and model-driven development. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8087 LNCS, pp. 45–49). https://doi.org/10.1007/978-3-642-40313-2_6
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
