-
1تقرير
المؤلفون: Ingrand, Félix
مصطلحات موضوعية: Computer Science - Robotics, Computer Science - Software Engineering
URL الوصول: http://arxiv.org/abs/2403.07770
-
2تقرير
-
3تقرير
-
4
-
5كتاب إلكتروني
المؤلفون: Ingrand, FélixAff6
المساهمون: Cavalcanti, Ana, editorAff1, Dongol, Brijesh, editorAff2, Hierons, Rob, editorAff3, Timmis, Jon, editorAff4, Woodcock, Jim, editorAff5
المصدر: Software Engineering for Robotics. :219-248
-
6كتاب إلكتروني
المؤلفون: Ghallab, MalikAff4, Ingrand, FélixAff4
المساهمون: Marquis, Pierre, editorAff1, Papini, Odile, editorAff2, Prade, Henri, editorAff3
المصدر: A Guided Tour of Artificial Intelligence Research : Volume III: Interfaces and Applications of Artificial Intelligence. :389-436
-
7كتاب إلكتروني
المؤلفون: Foughali, MohammedAff11, Ingrand, FélixAff11, Seceleanu, CristinaAff12
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Biondi, Fabrizio, editorAff8, Given-Wilson, Thomas, editorAff9, Legay, Axel, editorAff10
المصدر: Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings. 11636:114-134
-
8تقرير
المؤلفون: Bensalem, Saddek, de Silva, Lavindra, Ingrand, Félix, Yan, Rongjie
المصدر: Journal of Software Engineering for Robotics, 2(1), September 2011, pages 1-19
مصطلحات موضوعية: Computer Science - Robotics, Computer Science - Software Engineering
URL الوصول: http://arxiv.org/abs/1309.0442
-
9
المؤلفون: Hastham Sathiya Satchi Sadanandam, Selvakumar, Stock, Sebastian, Sung, Alexander, Ingrand, Félix, Lima, Oscar, Vinci, Marc, Hertzberg, Joachim
المساهمون: Équipe Robotique et InteractionS (LAAS-RIS), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Deutsches Forschungszentrum für Künstliche Intelligenz GmbH = German Research Center for Artificial Intelligence (DFKI), GMD - Forschungszentrum Informationstechnik GmbH (GMD), Federal Republic of Germany, ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019), European Project: 101016442,AIPlan4EU
المصدر: 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023) PlanRob Workshop
33rd International Conference on Automated Planning and Scheduling (ICAPS 2023) PlanRob Workshop, Jul 2023, Prague, Czech Republicمصطلحات موضوعية: [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9b6b5dcd54d7e52f5f45d40496110704
https://hal.science/hal-04131316/file/main.pdf -
10
المؤلفون: Turi, Jérémy, Bit-Monnot, Arthur, Ingrand, Félix
المساهمون: Équipe Robotique et InteractionS (LAAS-RIS), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT), ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019), European Project: 101016442,AIPlan4EU
المصدر: Integrated Acting, Planning and Execution (IntEx), ICAPS'23 Workshop
Integrated Acting, Planning and Execution (IntEx), ICAPS'23 Workshop, Jul 2023, Prague, Czech Republicمصطلحات موضوعية: [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2fd2c34405e61ff876a6f17485be637d
https://hal.science/hal-04107355/document