Skip to Main content Skip to Navigation
Reports

Plans simulation using temporal logics

Eric Rutten 1 Lionel Marcé 1
1 ROBOTIQUE - Perception et Commande de Robots
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Résumé : Disponible dans les fichiers attachés à ce document
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00075464
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 6:16:27 PM
Last modification on : Thursday, February 11, 2021 - 2:48:07 PM
Long-term archiving on: : Tuesday, April 12, 2011 - 11:14:41 PM

Identifiers

  • HAL Id : inria-00075464, version 1

Citation

Eric Rutten, Lionel Marcé. Plans simulation using temporal logics. [Research Report] RR-1095, INRIA. 1989. ⟨inria-00075464⟩

Share

Metrics

Record views

178

Files downloads

99