Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Temporal Logics and Structured Plans., and . SCAI, volume 4 of Frontiers in Artificial Intelligence and Applications, page 901-912. IOS Press, (1989)A software architecture for telerobotics., and . RTS, page 86-90. IEEE, (1994)Proving sequential function chart programs using timed automata., , and . Theor. Comput. Sci., 267 (1-2): 141-155 (2001)Pyramide : An Interactive Tool For Modelling Of Teleoperation Environments., and . IROS, page 725-730. IEEE, (1988)Proving Sequential Function Chart Programs Using Automata., , and . Workshop on Implementing Automata, volume 1660 of Lecture Notes in Computer Science, page 149-163. Springer, (1998)Performance evaluation of a controlled flow-shop system with a timed petri net model., , , and . ICINCO-RA, page 494-499. INSTICC Press, (2006)An imperative language for task-level planning: Definition in temporal logic., and . Artif. Intell. Eng., 8 (4): 235-251 (1993)The Modelling System PYRAMIDE as an Interactive Help for the Guidance of the Inspection Vehichle CENTAURE., , , and . ISER, volume 139 of Lecture Notes in Control and Information Sciences, page 347-361. Springer, (1989)Semantics and implementation of a language for telerobotics., , and . IROS, page 1807-1812. IEEE, (1997)Grafcet revisited with a synchronous data-flow language., , , and . IEEE Trans. Syst. Man Cybern. Part A, 29 (3): 284-293 (1999)