default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFélix Ingrand
Person information
- affiliation: LAAS, Toulouse, France
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i5]Félix Ingrand:
PROSKILL: A formal skill language for acting in robotics. CoRR abs/2403.07770 (2024)- 2023
- [j12]Silvano Dal-Zilio
, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet:
A formal toolchain for offline and run-time verification of robotic systems. Robotics Auton. Syst. 159: 104301 (2023) - 2022
- [i4]Peter Schüller, João Paolo Costeira, James Crowley, Jasmin Grosinger, Félix Ingrand, Uwe Köckemann, Alessandro Saffiotti, Martin Welss:
Composing Complex and Hybrid AI Solutions. CoRR abs/2202.12566 (2022) - 2021
- [j11]Pierre-Emmanuel Hladik, Félix Ingrand, Silvano Dal-Zilio, Reyyan Tekin:
Hippo: A formal-model execution engine to control and verify critical real-time systems. J. Syst. Softw. 181: 111033 (2021) - 2020
- [c37]Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Félix Ingrand:
Runtime Verification of Timed Properties in Autonomous Robots. MEMOCODE 2020: 1-12 - [p1]Malik Ghallab, Félix Ingrand:
Robotics and Artificial Intelligence. A Guided Tour of Artificial Intelligence Research (3) (III) 2020: 389-436 - [i3]Arthur Bit-Monnot, Malik Ghallab, Félix Ingrand, David E. Smith:
FAPE: a Constraint-based Planner for Generative and Hierarchical Temporal Planning. CoRR abs/2010.13121 (2020)
2010 – 2019
- 2019
- [c36]Félix Ingrand:
Recent Trends in Formal Validation and Verification of Autonomous Robots Software. IRC 2019: 321-328 - [c35]Mohammed Foughali, Félix Ingrand, Cristina Seceleanu:
Statistical Model Checking of Complex Robotic Systems. SPIN 2019: 114-134 - 2018
- [c34]Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet:
Formal verification of complex robotic systems on resource-constrained platforms. FormaliSE@ICSE 2018: 2-9 - [i2]Mohammed Foughali, Félix Ingrand, Anthony Mallet:
GenoM3 Templates: from Middleware Independence to Formal Models Synthesis. CoRR abs/1807.10154 (2018) - 2017
- [j10]Félix Ingrand, Malik Ghallab:
Deliberation for autonomous robots: A survey. Artif. Intell. 247: 10-44 (2017) - [c33]Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Félix Ingrand:
Can Robot Navigation Bugs Be Found in Simulation? An Exploratory Study. QRS 2017: 150-159 - 2016
- [c32]Thierry Sotiropoulos, Jérémie Guiochet, Félix Ingrand, Hélène Waeselynck:
Virtual Worlds for Testing Robot Navigation: A Study on the Difficulty Level. EDCC 2016: 153-160 - [c31]Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Félix Ingrand, Anthony Mallet:
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots. ICFEM 2016: 383-399 - [c30]Arthur Bit-Monnot, Malik Ghallab, Félix Ingrand:
Which Contingent Events to Observe for the Dynamic Controllability of a Plan. IJCAI 2016: 3038-3044 - 2015
- [c29]Lavindra de Silva, Rongjie Yan, Félix Ingrand, Rachid Alami, Saddek Bensalem:
A Verifiable and Correct-by-Construction Controller for Robots in Human Environments. HRI (Extended Abstracts) 2015: 281 - 2014
- [j9]Félix Ingrand, Malik Ghallab:
Robotics and artificial intelligence: A perspective on deliberation functions. AI Commun. 27(1): 63-80 (2014) - [c28]Filip Dvorak, Roman Barták, Arthur Bit-Monnot, Félix Ingrand, Malik Ghallab:
Planning and Acting with Temporal and Hierarchical Decomposition Models. ICTAI 2014: 115-121 - 2013
- [i1]Saddek Bensalem, Lavindra de Silva, Félix Ingrand, Rongjie Yan:
A Verifiable and Correct-by-Construction Controller for Robot Functional Levels. CoRR abs/1309.0442 (2013) - 2012
- [j8]Assia Belbachir, Félix Ingrand, Simon Lacroix:
A cooperative architecture for target localization using multiple AUVs. Intell. Serv. Robotics 5(2): 119-132 (2012) - [j7]Tesnim Abdellatif, Saddek Bensalem, Jacques Combaz, Lavindra de Silva, Félix Ingrand:
Rigorous design of robot software: A formal component-based approach. Robotics Auton. Syst. 60(12): 1563-1578 (2012) - [c27]David Powell, Jean Arlat, Hoang Nam Chu, Félix Ingrand, Marc-Olivier Killijian:
Testing the Input Timing Robustness of Real-Time Control Software for Autonomous Systems. EDCC 2012: 73-83 - 2011
- [j6]Guillaume Infantes, Malik Ghallab, Félix Ingrand:
Learning the behavior model of a robot. Auton. Robots 30(2): 157-177 (2011) - [c26]Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Félix Ingrand, Axel Legay, Rongjie Yan:
A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems. SC@TOOLS 2011: 116-132 - 2010
- [c25]Anthony Mallet, Cédric Pasteur, Matthieu Herrb, Séverin Lemaignan, François Felix Ingrand:
GenoM3: Building middleware-independent robotic components. ICRA 2010: 4627-4632
2000 – 2009
- 2009
- [j5]Saddek Bensalem, Matthieu Gallien, Félix Ingrand, Imen Kahloul, Thanh-Hung Nguyen:
Designing autonomous robots. IEEE Robotics Autom. Mag. 16(1): 67-77 (2009) - 2008
- [c24]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: 631-635 - 2007
- [j4]Félix Ingrand, Simon Lacroix, Solange Lemai-Chenevier, Frederic Py:
Decisional autonomy of planetary rovers. J. Field Robotics 24(7): 559-580 (2007) - [c23]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: 2-9 - [c22]Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell:
Planning with Diversified Models for Fault-Tolerant Robots. ICAPS 2007: 216-223 - [c21]Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell:
Fault Tolerant Planning for Critical Robots. DSN 2007: 144-153 - 2006
- [c20]Guillaume Infantes, Félix Ingrand, Malik Ghallab:
Learning Behaviors Models for Robot Execution Control. ICAPS 2006: 394-397 - [c19]Guillaume Infantes, Félix Ingrand, Malik Ghallab:
Learning Behaviors Models for Robot Execution Control. ECAI 2006: 678-682 - 2004
- [c18]Solange Lemai, Félix Ingrand:
Interleaving Temporal Planning and Execution in Robotics Domains. AAAI 2004: 617-622 - [c17]Benoit Morisset, Guillaume Infantes, Malik Ghallab, Félix Ingrand:
Robel: Synthesizing and Conrolling Complex Robust Robot Behaviors. ECAI 2004: 1067-1068 - [c16]Alberto Finzi, Félix Ingrand, Nicola Muscettola:
Model-based executive control through reactive planning for autonomous rovers. IROS 2004: 879-884 - [c15]Frédéric Py, Félix Ingrand:
Dependable execution control for autonomous robots. IROS 2004: 1136-1141 - 2002
- [c14]François Felix Ingrand, Frederic Py:
An Execution Control System for Autonomous Robots. ICRA 2002: 1333-1338 - 2001
- [c13]Félix Ingrand, Raja Chatila, Rachid Alami:
An architecture for dependable autonomous robots. ETFA (2) 2001: 657-658 - [c12]François Felix Ingrand, Olivier Despouys:
Extending Procedural Reasoning toward Robot Actions Planning. ICRA 2001: 9-14 - 2000
- [c11]Rachid Alami, Raja Chatila, Sara Fleury, Matthieu Herrb, François Felix Ingrand, Maher Khatib, Benoit Morisset, Philippe Moutarlier, Thierry Siméon:
Around the Lab in 40 Days. ICRA 2000: 88-94 - [c10]Rachid Alami, Igor Belousov, Sara Fleury, Matthieu Herrb, Félix Ingrand, Javier Minguez, Benoit Morisset:
Diligent: towards a human-friendly navigation system. IROS 2000: 21-26
1990 – 1999
- 1999
- [c9]Olivier Despouys, François Felix Ingrand:
Propice-Plan: Toward a Unified Framework for Planning and Execution. ECP 1999: 278-293 - 1998
- [j3]Rachid Alami, Raja Chatila, Sara Fleury, Malik Ghallab, Félix Ingrand:
An Architecture for Autonomy. Int. J. Robotics Res. 17(4): 315-337 (1998) - [j2]Rachid Alami, Sara Fleury, Matthieu Herrb, Félix Ingrand, Frédéric Robert:
Multi-robot cooperation in the MARTHA project. IEEE Robotics Autom. Mag. 5(1): 36-47 (1998) - [c8]Rachid Alami, François Felix Ingrand, Samer Qutub:
A Scheme for Coordinating Multi-robots Planning Activities and Plans Execution. ECAI 1998: 617-621 - 1997
- [c7]Rachid Alami, Sara Fleury, Matthieu Herrb, Félix Ingrand, Samer Qutub:
Operating a large fleet of mobile robots using the plan-merging paradigm. ICRA 1997: 2312-2317 - [c6]Samer Qutub, Rachid Alami, Félix Ingrand:
How to solve deadlock situations within the plan-merging paradigm for multi-robot cooperation. IROS 1997: 1610-1615 - 1996
- [c5]François Felix Ingrand, Raja Chatila, Rachid Alami, Frédéric Robert:
PRS: a high level supervision and control language for autonomous mobile robots. ICRA 1996: 43-49 - 1995
- [c4]Rachid Alami, Frédéric Robert, Félix Ingrand, Sho'ji Suzuki:
Multi-Robot Cooperation through Incremental Plan-Merging. ICRA 1995: 2573-2579 - [c3]Luis E. Aguilar, Rachid Alami, Sara Fleury, Matthieu Herrb, Félix Ingrand, Frédéric Robert:
Ten autonomous mobile robots (and even more) in a route network like environment. IROS (2) 1995: 260-267 - [c2]Rachid Alami, Luis E. Aguilar, H. Bullata, Sara Fleury, Matthieu Herrb, François Felix Ingrand, Maher Khatib, Frédéric Robert:
A General Framework For Multi-Robot Cooperation and Its Implementation on a Set of Three Hilare Robots. ISER 1995: 26-39 - 1992
- [j1]François Felix Ingrand, Michael P. Georgeff, Anand S. Rao:
An architecture for Real-Time Reasoning and System Control. IEEE Expert 7(6): 34-44 (1992)
1980 – 1989
- 1989
- [c1]Michael P. Georgeff, François Felix Ingrand:
Decision-Making in an Embedded Reasoning System. IJCAI 1989: 972-978
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-07 22:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
