
Charles Lesire-Cabaniols
40
Documents
Publications
Publications
|
SkiNet: a User-Oriented Tool for Petri Net-based Analysis of Robotic Skills46th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2025), Jun 2025, Paris, France
Communication dans un congrès
hal-05072794
v1
|
|
Redundant Decompositions in PO HTN Domains: Goto Considered HarmfulICAPS Hierarchical Planning Workshop (HPlan), Jun 2024, Banff, Canada
Communication dans un congrès
hal-04609467
v1
|
|
Multi-Robot Task Planning to Secure Human Group ProgressECAI Agents and Robots for reliable Engineered Autonomy Workshop (AREA), Sep 2023, Cracovie, Poland. pp.113 - 126, ⟨10.4204/eptcs.391.13⟩
Communication dans un congrès
hal-04500447
v1
|
Improving the Connectivity of Multi-hop Communication Networks Through Auction-Based Multi-robot Task AllocationPAAMS 2022, Jul 2022, L'Aquila, Italy. pp.345-357, ⟨10.1007/978-3-031-18192-4_28⟩
Communication dans un congrès
hal-04701746
v1
|
|
|
Learning Path Constraints for UAV Autonomous Navigation under Uncertain GNSS Availability17es Journées Francophone Planification, Décision et Apprentissage, Jun 2022, Saint-Etienne, France
Communication dans un congrès
hal-03820049
v1
|
|
Allocation par enchères et planification hiérarchique pour un système multirobot, application au cas de la chasse aux minesJFSMA 2022: 30èmes Journées Francophones sur les Systèmes Multi-Agents, Jun 2022, Saint-Etienne, France
Communication dans un congrès
hal-03694348
v1
|
|
Autonomous and responsive multi-robot system for minehuntingOCEANS Conference & Exposition (OCEANS 2022), Feb 2022, Chennai, India. ⟨10.1109/OCEANSChennai45887.2022.9775467⟩
Communication dans un congrès
hal-03514510
v1
|
|
SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous SystemsEPTCS 2022 - Electronic Proceedings in Theoretical Computer Science, Sep 2022, Berlin, Germany. pp.120-138, ⟨10.4204/eptcs.371.9⟩
Communication dans un congrès
hal-04073365
v1
|
|
A skill fault model for autonomous systems4th International Workshop on Robotics Software Engineering (RoSE’22), Co-located with ICSE 2022, May 2022, Pittsburgh, United States. ⟨10.1145/3526071.3527513⟩
Communication dans un congrès
hal-03609377
v2
|
|
pyHiPOP - Hierarchical Partial-Order PlannerWorkshop on the International Planning Competition, Aug 2021, Guangzhou, China
Communication dans un congrès
hal-03478020
v1
|
|
Market-based Multi-robot coordination with HTN planningAutonomous Robots and Multirobot Systems workshop (ARMS) 2021, May 2021, Montréal, Canada
Communication dans un congrès
hal-03230342
v1
|
|
Market-based Multi-robot coordination with HTN planningInternational Conference on Intelligent Robots and Systems (IROS 2021), Sep 2021, Prague, Czech Republic. pp.2606-2612, ⟨10.1109/IROS51168.2021.9636286⟩
Communication dans un congrès
hal-03418176
v1
|
|
Solving Hierarchical Auctions with HTN Planning4th ICAPS workshop on Hierarchical Planning (HPlan), Aug 2021, Guangzhou, China
Communication dans un congrès
hal-03289854
v2
|
|
Formalization of Robot Skills with Descriptive and Operational Models2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Oct 2020, Las Vegas, United States. pp.7227-7232, ⟨10.1109/IROS45743.2020.9340698⟩
Communication dans un congrès
hal-03170357
v1
|
|
A hierarchical fault tolerant architecture for an autonomous robot6th Intern. Workshop on Safety and Security of Intelligent Vehicles (SSIV) at IEEE/IFIP Intern. Conf. on Dependable Systems and Networks (DSN), Jun 2020, Valence, Spain. ⟨10.1109/DSN-W50199.2020.00031⟩
Communication dans un congrès
hal-02558604
v1
|
|
An Autonomous Mission Controller for Earth Observing SatellitesIWPSS 2019, Jul 2019, Berkeley, United States
Communication dans un congrès
hal-02355723
v1
|
|
Synthesis of Real-Time Observers from Past-Time Linear Temporal Logic and Timed Specification2019 International Conference on Robotics and Automation (ICRA), May 2019, Montréal, Canada. ⟨10.1109/ICRA.2019.8793754⟩
Communication dans un congrès
hal-02913050
v1
|
Solving Methods for Multi-Robot Missions Planning with Energy Capacity ConsiderationICRA 2019, May 2019, Montréal, Canada. pp.4538-4544, ⟨10.1109/ICRA.2019.8793700⟩
Communication dans un congrès
hal-02912969
v1
|
|
|
Integrating planning and execution for a team of heterogeneous robots with time and communication constraintsIEEE International Conference on Robotics and Automation (ICRA 2018), May 2018, Brisbane, Australia. 7p
Communication dans un congrès
hal-01706146
v1
|
|
Open Loop Execution of Tree-Search AlgorithmsJournées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes 2018 (JFPDA 2018), Jul 2018, Nancy, France
Communication dans un congrès
hal-01840583
v1
|
|
ASPiC: an Acting system based on Skill Petri net Composition2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2018), Oct 2018, Madrid, Spain. pp.6952--6958, ⟨10.1109/IROS.2018.8594328⟩
Communication dans un congrès
hal-01961211
v1
|
|
Measurement-based real-time analysis of robotic software architecturesIROS 2016, Oct 2016, Daejeon, South Korea
Communication dans un congrès
hal-01411373
v1
|
|
Proactive planning and execution strategies with multiple hypotheses11th National Conference on “Software and Hardware Architectures for Robots Control” & Quatrièmes Journées Architectures Logicielles pour la Robotique Autonome, les Systèmes Cyber-Physiques et les Systèmes Auto-Adaptables (SHARC 2016), Jun 2016, Brest, France
Communication dans un congrès
hal-01371760
v1
|
|
Synthèse de plans d’exécution multi-agents robustes aux incertitudes et à l’absence de communicationsJFSMA 2016, Oct 2016, Rouen, France
Communication dans un congrès
hal-01383933
v1
|
Gestion des Réseaux Temporels Simples Multi-agents dynamiques23es Journées Francophones sur les Systèmes Multi-Agents (JFSMA'15), Jun 2015, Rennes, France. pp.123-132
Communication dans un congrès
hal-01163025
v1
|
|
|
Multi-Robot Planning and Execution for an Exploration Mission: a Case StudyICAPS 2014 PlanRob Workshop (Planning and Robotics), Jun 2014, Portsmouth, United States
Communication dans un congrès
hal-01079780
v1
|
|
Mauve: a Component-based Modeling Framework for Real-time Analysis of Robotic Applications.7th full day Workshop on Software Development and Integration in Robotics (ICRA2012 - SDIR VII), May 2012, Saint Paul, United States
Communication dans un congrès
hal-01060327
v1
|
|
Détection et reconnaissance de cibles en ligne pour des UAV autonomes avec un modèle de type POMDPJournées Francophones sur la planification, la décision et l'apprentissage pour le contrôle des systèmes - JFPDA 2012, May 2012, Villers-lès-Nancy, France. 12 p
Communication dans un congrès
hal-00736231
v1
|
|
Simulating complex robotic scenarios with MORSE3rd International Conference on Simulation, Modeling, and Programming for Autonomous Robots, Nov 2012, Tsukuba, Japan. pp.197-208, ⟨10.1007/978-3-642-34327-8_20⟩
Communication dans un congrès
hal-00988475
v1
|
|
HiDDeN, une architecture décisionnelle distribuée pour la coopération de véhicules individuellement autonomesRFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3
Communication dans un congrès
hal-00656494
v1
|
|
POMDP-based online target detection and recognition for autonomous UAVsSeventh Conference on Prestigious Applications of Intelligent Systems (PAIS-12), Aug 2012, Montpellier, France
Communication dans un congrès
hal-01060444
v1
|
|
Validation of real-time properties of a robotic software architecture6th National Conference on Control Architectures of Robots, INRIA Grenoble Rhône-Alpes, May 2011, Grenoble, France. 7 p
Communication dans un congrès
inria-00599689
v1
|
|
Planning Robust Temporal Plans A Comparison Between CBTP and TGA ApproachesInternational Conference on Automated Planning and Scheduling, Sep 2007, Providence, Rhode Island, United States. pp.2-9
Communication dans un congrès
hal-00157935
v1
|
Chargement...
Chargement...