|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Florent Teichteil-Königsbuch, Charles Lesire, Guillaume Infantes |
A generic framework for anytime execution-driven planning in robotics.  |
ICRA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Lesire |
An Iterative A* Algorithm for Planning of Airport Ground Movements. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis |
Incremental Component-Based Construction and Verification of a Robotic System. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasmina Abdeddaïm, Eugene Asarin, Matthieu Gallien, Félix Ingrand, Charles Lesire, Mihaela Sighireanu |
Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches. |
ICAPS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Olivier Bonnet-Torrés, Patrice Domenech, Charles Lesire, Catherine Tessier |
Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets. |
ICATPN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Lesire, Catherine Tessier |
A Hybrid Model for Situation Monitoring and Conflict Prediction in Human Supervised "Autonomous" Systems. |
AAAI Spring Symposium: To Boldly Go Where No Human-Robot Team Has Gone Before |
2006 |
DBLP BibTeX RDF |
|
| 1 | Charles Lesire, Catherine Tessier |
Estimation and Conflict Detection in Human Controlled Systems. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Lesire, Catherine Tessier |
Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty. |
ICATPN |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")