Alexandre Albore

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 6

Top Topics

Alternating Time Temporal Logic

Pspace Complete

Machine Learning

Top Venues

Publications

Damien Pellier, Alexandre Albore, Humbert Fiorino, Rafael Bailon-Ruiz
HDDL 2.1: Towards Defining a Formalism and a Semantics for Temporal HTN Planning. CoRR (2023)
Alexandre Albore, David Doose, Christophe Grand, Jérémie Guiochet, Charles Lesire, Augustin Manecy
Skill-based design of dependable robotic architectures. Robotics Auton. Syst. 160 (2023)
Alexandre Albore, David Doose, Christophe Grand, Charles Lesire, Augustin Manecy
Skill-Based Architecture Development for Online Mission Reconfiguration and Failure Management. RoSE@ICSE (2021)
Hervé Delseny, Christophe Gabreau, Adrien Gauffriau, Bernard Beaudouin, Ludovic Ponsolle, Lucian Alecu, Hugues Bonnin, Brice Beltran, Didier Duchel, Jean-Brice Ginestet, Alexandre Hervieu, Ghilaine Martinez, Sylvain Pasquet, Kevin Delmas, Claire Pagetti, Jean-Marc Gabriel, Camille Chapdelaine, Sylvaine Picard, Mathieu Damour, Cyril Cappi, Laurent Gardès, Florence De Grancey, Eric Jenn, Baptiste Lefèvre, Grégory Flandin, Sébastien Gerchinovitz, Franck Mamalet, Alexandre Albore
White Paper Machine Learning in Certified Systems. CoRR (2021)
Caroline Ponzoni Carvalho Chanel, Alexandre Albore, Jorrit T'Hooft, Charles Lesire, Florent Teichteil-Königsbuch
AMPLE: an anytime planning and execution framework for dynamic and uncertain problems in robotics. Auton. Robots 43 (1) (2019)
Alexandre Albore, Silvano Dal-Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier
A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica. IMBSA (2017)
Alexandre Albore, Nathalie Peyrard, Régis Sabbadin, Florent Teichteil-Königsbuch
An Online Replanning Approach for Crop Fields Mapping with Autonomous UAVs. ICAPS (2015)
Alexandre Albore, Miquel Ramírez, Hector Geffner
Effective Heuristics and Belief Tracking for Planning with Incomplete Information. ICAPS (2011)
Alexandre Albore, Héctor Palacios, Hector Geffner
Compiling Uncertainty Away in Non-Deterministic Conformant Planning. ECAI (2010)
Alexandre Albore, Héctor Palacios, Hector Geffner
A Translation-Based Approach to Contingent Planning. IJCAI (2009)
Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan
Bounded-Resource Reasoning as (Strong or Classical) Planning. CLIMA (2008)
Alexandre Albore, Héctor Palacios, Hector Geffner
Fast and Informed Action Selection for Planning with Sensing. CAEPIA (2007)
Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, Luciano Serafini
Model-Checking Memory Requirements of Resource-Bounded Reasoners. AAAI (2006)
Alexandre Albore, Piergiorgio Bertoli
Safe LTL Assumption-Based Planning. ICAPS (2006)
Alexandre Albore, Piergiorgio Bertoli
Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains. AAAI (2004)