An Application of Reinforcement Learning to Aerobatic Helicopter Flight, Neural Information Processing Systems (NIPS), pp.1-8, 2006. ,
Inverse Reinforcement Learning, Encyclopedia of Machine Learning, pp.554-558, 2010. ,
DOI : 10.1177/105971239700500302
Toward Human-Aware Robot Task Planning, AAAI Spring Symposium: To boldly go where no human-robot team has gone before, pp.39-46, 2006. ,
Multi-robot cooperation in the MARTHA project, IEEE Robotics & Automation Magazine, vol.5, issue.1, pp.36-47, 1998. ,
DOI : 10.1109/100.667325
Towards a general theory of action and time, Artificial Intelligence, vol.23, issue.2, pp.123-154, 1984. ,
DOI : 10.1016/0004-3702(84)90008-0
A survey of robot learning from demonstration, Robotics and Autonomous Systems, vol.57, issue.5, pp.469-483, 2009. ,
DOI : 10.1016/j.robot.2008.10.024
DetH*: Approximate Hierarchical Solution of Large Markov Decision Processes, International Joint Conference on Artificial intelligence (IJCAI), pp.1928-1935, 2011. ,
Learning to act using real-time dynamic programming, Artificial Intelligence, vol.72, issue.1-2, pp.81-138, 1995. ,
DOI : 10.1016/0004-3702(94)00011-O
URL : http://doi.org/10.1016/0004-3702(94)00011-o
Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006. ,
DOI : 10.1109/SEFM.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298
Reactive planning as a motivational source in a behavior-based architecture, 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.1848-1853, 2008. ,
DOI : 10.1109/IROS.2008.4650761
Towards performing everyday manipulation activities, Robotics and Autonomous Systems, vol.58, issue.9, pp.1085-1095, 2010. ,
DOI : 10.1016/j.robot.2010.05.007
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.488.3597
Expressing transformations of structured reactive plans, European Conference on Planning (ECP), pp.64-76, 1997. ,
DOI : 10.1007/3-540-63912-8_76
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.2591
D-Finder: A Tool for Compositional Deadlock Detection and Verification, Computer Aided Verification (CAV), pp.614-619, 2009. ,
DOI : 10.1007/978-3-642-02658-4_45
URL : https://hal.archives-ouvertes.fr/hal-00722550
A Verifiable and Correct-by-Construction Controller for Robot Functional Levels, Journal of Software Engineering for Robotics, vol.1, issue.2, pp.1-19, 2011. ,
Dynamic Programming and Optimal Control, Athena Scientific, vol.1, issue.2, 1995. ,
Multi-agent path planning with multiple tasks and distance constraints, 2010 IEEE International Conference on Robotics and Automation, pp.953-959, 2010. ,
DOI : 10.1109/ROBOT.2010.5509713
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.175.4922
The SMACH High-Level Executive [ROS News], IEEE Robotics & Automation Magazine, vol.17, issue.4, pp.18-20, 2010. ,
DOI : 10.1109/MRA.2010.938836
Experiences with an architecture for intelligent, reactive agents, Journal of Experimental and Theoretical Artificial Intelligence, vol.9, issue.23, pp.237-256, 1997. ,
DOI : 10.1007/3540608052_67
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.6101
Learning Depth-First Search: A Unified Approach to Heuristic Search in Deterministic and Non-Deterministic Settings, and Its Application to MDPs, International Conference on Automated Planning and Scheduling (ICAPS), pp.142-151, 2006. ,
Mediating Between Qualitative and Quantitative Representations for Task-Orientated Human-Robot Interaction, International Joint Conference on Artificial intelligence (IJCAI), 2007. ,
A robust layered control system for a mobile robot, IEEE Journal on Robotics and Automation, vol.2, issue.1, pp.14-23, 1986. ,
DOI : 10.1109/JRA.1986.1087032
URL : http://www.dtic.mil/get-tr-doc/pdf?AD=ADA160833
The Interactive Museum Tour-Guide Robot, National Conference on Artificial Intelligence (AAAI), pp.11-18, 1998. ,
DOI : 10.1016/s0004-3702(99)00070-3
URL : http://doi.org/10.1016/s0004-3702(99)00070-3
A Hybrid Approach to Intricate Motion, Manipulation and Task Planning, The International Journal of Robotics Research, vol.20, issue.20, pp.104-126, 2009. ,
DOI : 10.1163/156855300741960
Complex Tasks Allocation for Multi Robot Teams under Communication Constraints, 5th National Conference on Control Architectures of Robots, 2010. ,
Position referencing and consistent world modeling for mobile robots, Proceedings. 1985 IEEE International Conference on Robotics and Automation, pp.138-145, 1985. ,
DOI : 10.1109/ROBOT.1985.1087373
Visual Servoing and Visual Tracking, [105], pp.563-583, 2008. ,
DOI : 10.1007/978-3-540-30301-5_25
URL : https://hal.archives-ouvertes.fr/hal-00920414
Using Iterative Repair to Improve the Responsiveness of Planning and Scheduling, AI Planning and Scheduling (AIPS), 2000. ,
Principles of Robot Motion: Theory, Algorithms, and Implementations, 2005. ,
Apprenticeship learning for helicopter control, Communications of the ACM, vol.52, issue.7, pp.97-105, 2009. ,
DOI : 10.1145/1538788.1538812
URL : http://ai.stanford.edu/%7Eang/papers/acm09-ApprenticeshipLearningHelicopterControl.pdf
An introduction to the anchoring problem, Robotics and Autonomous Systems, vol.43, issue.2-3, pp.85-96, 2003. ,
DOI : 10.1016/S0921-8890(03)00021-6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.136.130
The MAESTRO language and its environment: specification, validation and control of robotic missions, Proceedings of the 1997 IEEE/RSJ International Conference on Intelligent Robot and Systems. Innovative Robotics for Real-World Applications. IROS '97, pp.836-841, 1997. ,
DOI : 10.1109/IROS.1997.655107
Market-Based Multirobot Coordination: A Survey and Analysis, Proceedings of the IEEE, pp.1257-1270, 2006. ,
DOI : 10.1109/jproc.2006.876939
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.2784
On multiple moving objects, Algorithmica, vol.19, issue.4, pp.477-521, 1987. ,
DOI : 10.1109/TSMC.1985.6313352
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.5597
UMCP: a Sound and Complete Procedure for Hierarchical Task-Network Planning, AI Planning and Scheduling (AIPS), pp.249-254, 1994. ,
Hierarchical SLAM: real-time accurate mapping of large environments, IEEE Transactions on Robotics, vol.21, issue.4, pp.588-596, 2005. ,
DOI : 10.1109/TRO.2005.844673
The SAE Architecture Analysis & Design Language (AADL) A Standard for Engineering Performance Critical Systems, IEEE International Symposium on Computer-Aided Control Systems Design, pp.1206-1211, 2006. ,
Building Watson: An Overview of the DeepQA Project, pp.59-79, 2010. ,
Monitored Execution of Robot Plans Produced by STRIPS, IFIP Congress, 1971. ,
DOI : 10.21236/ADA459662
Strips: A new approach to the application of theorem proving to problem solving, Artificial Intelligence, vol.2, issue.3-4, pp.3-4189, 1971. ,
DOI : 10.1016/0004-3702(71)90010-5
Model-based executive control through reactive planning for autonomous rovers, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566), pp.879-884, 2004. ,
DOI : 10.1109/IROS.2004.1389463
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.7344
An Investigation into Reactive Planning in Complex Domains, National Conference on Artificial Intelligence (AAAI), pp.202-206, 1987. ,
Manhattan scene understanding using monocular, stereo, and 3D features, 2011 International Conference on Computer Vision, 2011. ,
DOI : 10.1109/ICCV.2011.6126501
The human-robot interaction operating system, Proceeding of the 1st ACM SIGCHI/SIGART conference on Human-robot interaction , HRI '06, pp.41-48, 2006. ,
DOI : 10.1145/1121241.1121251
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.154.8661
Constraint-Based Attribute and Interval Planning, Constraints, vol.8, issue.4, pp.339-364, 2003. ,
DOI : 10.1023/A:1025842019552
APSI-Based Deliberation in Goal Oriented Autonomous Controllers, 11th Symposium on Advanced Space Technologies in Robotics and Automation, 2011. ,
The Importance of Being Formal, Electronic Notes in Theoretical Computer Science, vol.238, issue.4, pp.57-70, 2009. ,
DOI : 10.1016/j.entcs.2009.09.006
Learning dynamic Bayesian networks, Lecture Notes In Computer Science, vol.1387, pp.168-197, 1997. ,
DOI : 10.1007/BFb0053999
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.462.2249
Managing Efficiently Temporal Relations Through Indexed Spanning Trees, International Joint Conference on Artificial intelligence (IJCAI), pp.1297-1303, 1989. ,
Representation and Control in IxTeT, a Temporal Planner, AI Planning and Scheduling (AIPS), pp.61-67, 1994. ,
Automated Planning -Theory and Practice, 2004. ,
Advances in autonomous robots for service and entertainment, Robotics and Autonomous Systems, vol.58, issue.7, pp.829-832, 2010. ,
DOI : 10.1016/j.robot.2010.03.002
A Multi-Level Planning and Navigation System for a Mobile Robot: A First Approach to HILARE, International Joint Conference on Artificial intelligence (IJCAI), pp.335-337, 1979. ,
Human-Robot Interaction: A Survey. Foundations and Trends in Human- Computer Interaction, pp.203-275, 2007. ,
DOI : 10.1561/1100000005
URL : http://www.nowpublishers.com/article/DownloadSummary/HCI-005
Kiva Systems, IEEE Spectrum, pp.27-51, 2008. ,
The Symbol Grounding Problem, Physica D, pp.335-346, 1990. ,
DOI : 10.1016/0167-2789(90)90087-6
URL : http://arxiv.org/abs/cs/9906002
Minds, Machines and Turing, Journal of Logic, Language, and Information (special issue on Alan Turing and Artificial Intelligence, 2001. ,
DOI : 10.1007/978-94-010-0105-2_14
The Embedded Systems Design Challenge, FM: Formal Methods, pp.1-15, 2006. ,
DOI : 10.1007/11813040_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.78.7007
FF: The Fast-Forward Planning System. AI magazine, p.57, 2001. ,
Algorithm 447: efficient algorithms for graph manipulation, Communications of the ACM, vol.16, issue.6, pp.372-378, 1973. ,
DOI : 10.1145/362248.362272
PRS: a high level supervision and control language for autonomous mobile robots, Proceedings of IEEE International Conference on Robotics and Automation, pp.43-49, 1996. ,
DOI : 10.1109/ROBOT.1996.503571
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.7709
Deliberation for autonomous robots: A survey, Artificial Intelligence, vol.247, 2014. ,
DOI : 10.1016/j.artint.2014.11.003
URL : https://hal.archives-ouvertes.fr/hal-01137921
Decisional autonomy of planetary rovers, Journal of Field Robotics, vol.2, issue.7, pp.559-580, 2007. ,
DOI : 10.1002/rob.20206
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.111.7454
On the Convergence of Stochastic Iterative Dynamic Programming Algorithms, Neural Computation, vol.8, issue.6, pp.1185-1201, 1994. ,
DOI : 10.1214/aoms/1177729586
The Unified Software Development Process, 1999. ,
Reinforcement Learning: A Survey, Journal of Artificial Intelligence Research, vol.4, 1996. ,
Hierarchical task and motion planning in the now, 2011 IEEE International Conference on Robotics and Automation, pp.1470-1477, 2011. ,
DOI : 10.1109/ICRA.2011.5980391
Planning foot placements for a humanoid robot: A problem of inverse kinematics, The International Journal of Robotics Research, vol.24, issue.5, pp.476-485, 2011. ,
DOI : 10.1109/TRO.2008.2002312
Probabilistic roadmaps for path planning in high-dimensional configuration spaces, IEEE Transactions on Robotics and Automation, vol.12, issue.4, pp.556-580, 1996. ,
DOI : 10.1109/70.508439
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.3462
Exoskeletons for Human Performance Augmentation, [105], pp.773-793, 2008. ,
DOI : 10.1007/978-3-540-30301-5_34
Navigation in hybrid metric-topological maps, 2011 IEEE International Conference on Robotics and Automation, 2011. ,
DOI : 10.1109/ICRA.2011.5980074
A robot exploration and mapping strategy based on a semantic hierarchy of spatial representations, Robotics and Autonomous Systems, vol.8, issue.1-2, pp.47-63, 1991. ,
DOI : 10.1016/0921-8890(91)90014-C
Local metrical and global topological maps in the hybrid spatial semantic hierarchy, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004, pp.4845-4851, 2004. ,
DOI : 10.1109/ROBOT.2004.1302485
Connectivity of plane triangulations, Information Processing Letters, vol.34, issue.2, pp.87-96, 1990. ,
DOI : 10.1016/0020-0190(90)90142-K
Interleaving Temporal Planning and Execution in Robotics Domains, National Conference on Artificial Intelligence (AAAI), 2004. ,
Unifying Planar and Point Mapping in Monocular SLAM, Procedings of the British Machine Vision Conference 2010, pp.1-11, 2010. ,
DOI : 10.5244/C.24.43
Model-based, hierarchical control of a mobile manipulation platform, 4th Workshop on Planning and Plan Execution for Real World Systems at ICAPS, 2009. ,
A deliberative architecture for AUV control, 2008 IEEE International Conference on Robotics and Automation, pp.1049-1054, 2008. ,
DOI : 10.1109/ROBOT.2008.4543343
Cartographie et Localisation Simultanée avec un Capteur de Vision, Journées Nationales de la Recherche en Robotique, 2007. ,
First-Order Probabilistic Languages: Into the Unknown, Inductive Logic Programming, pp.10-24, 2007. ,
DOI : 10.1007/978-3-540-73847-3_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.894
Motion Planning and Obstacle Avoidance, [105], pp.827-852, 2008. ,
DOI : 10.1007/978-3-540-30301-5_36
FastSLAM: A Factored Solution to the Simultaneous Localization and Mapping Problem, National Conference on Artificial Intelligence (AAAI), pp.593-598, 2002. ,
FastSLAM 2.0: An Improved Particle Filtering Algorithm for Simultaneous Localization and Mapping that Provably Converges, International Joint Conference on Artificial intelligence (IJCAI), pp.1151-1156, 2003. ,
The Stanford Cart and the CMU Rover, 1983. ,
DOI : 10.1109/proc.1983.12684
URL : http://www.dtic.mil/get-tr-doc/pdf?AD=ADA133207
Learning how to combine sensory-motor functions into a robust behavior, Artificial Intelligence, vol.172, issue.4-5, pp.4-5392, 2008. ,
DOI : 10.1016/j.artint.2007.07.003
URL : http://doi.org/10.1016/j.artint.2007.07.003
HSTS: Integrating Planning and Scheduling, 1994. ,
Live dense reconstruction with a single moving camera, 2010 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, pp.1498-1505, 2010. ,
DOI : 10.1109/CVPR.2010.5539794
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.190.193
Natural methods for robot task learning, Proceedings of the second international joint conference on Autonomous agents and multiagent systems , AAMAS '03, pp.241-248, 2003. ,
DOI : 10.1145/860575.860614
Autonomous Robots, Special issue on robot learning, 2009. ,
POMDP Planning for Robust Robot Control, International Symposium on Robotics Research (ISRR), pp.69-82, 2005. ,
DOI : 10.1007/978-3-540-48113-3_7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.3608
Policy-contingent abstraction for robust robot control, In Uncertainty in Artificial Intelligence, pp.477-484, 2003. ,
Dependable execution control for autonomous robots, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566), pp.1136-1141, 2004. ,
DOI : 10.1109/IROS.2004.1389549
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.3807
A Systematic Agent Framework for Situated Autonomous Systems, Autonomous Agents and Multi-Agent Systems (AAMAS), pp.583-590, 2010. ,
Application Of Intelligent Automata to Reconnaissance, 1966. ,
Artificial Intelligence, A modern approach, 2010. ,
Interactive robot task training through dialog and demonstration, Proceeding of the ACM/IEEE international conference on Human-robot interaction , HRI '07, pp.49-56, 2007. ,
DOI : 10.1145/1228716.1228724
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.3291
Planning,Geometry and Complexity of Robot Motion Ablex Series in Artificial Intelligence, 1987. ,
Robotics and the Handbook, 2008. ,
DOI : 10.1007/978-3-319-32552-1_1
From Motor Learning to Interaction Learning in Robots, of Studies in Computational Intelligence, 2010. ,
DOI : 10.1007/978-3-642-05181-4_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.165.8120
Manipulation Planning with Probabilistic Roadmaps, The International Journal of Robotics Research, vol.23, issue.7-8, pp.729-746, 2004. ,
DOI : 10.1177/027836499101000604
Visibility-based probabilistic roadmaps for motion planning, Advanced Robotics, vol.14, issue.6, p.14, 2000. ,
DOI : 10.1163/156855300741960
A task description language for robot control, Proceedings. 1998 IEEE/RSJ International Conference on Intelligent Robots and Systems. Innovations in Theory, Practice and Applications (Cat. No.98CH36190), pp.1931-1937, 1998. ,
DOI : 10.1109/IROS.1998.724883
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.119.4372
Towards automatic verification of autonomous systems, Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000) (Cat. No.00CH37113), pp.1410-1415, 2000. ,
DOI : 10.1109/IROS.2000.893218
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.4254
Human-Robot Teams for Large-Scale Assembly, Proceedings of the NASA Science Technology Conference, 2007. ,
ORCCAD: software engineering for real-time robotics. A technical insight, Robotica, vol.15, issue.1, pp.111-115, 1997. ,
DOI : 10.1017/S0263574797000131
URL : https://hal.archives-ouvertes.fr/hal-00930118
Estimating uncertain spatial relationships in robotics, Proceedings. 1987 IEEE International Conference on Robotics and Automation, pp.435-461, 1986. ,
DOI : 10.1109/ROBOT.1987.1087846
URL : http://arxiv.org/abs/1304.3111
Exploration with active loop-closing for FastSLAM, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566), 2004. ,
DOI : 10.1109/IROS.2004.1389609
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.2110
Optimal and efficient path planning for partially-known environments, IEEE International Conference on Robotics and Automation (ICRA), pp.3310-3317, 1994. ,
DOI : 10.1109/robot.1994.351061
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.589.9461
Combining Declarative, Procedural and Predictive Knowledge to Generate and Execute Robot Plans Efficiently and Robustly, Robotics and Autonomous Systems, 2008. ,
DOI : 10.1016/j.robot.2008.08.011
Reinforcement Learning: An Introduction, IEEE Transactions on Neural Networks, vol.9, issue.5, 1998. ,
DOI : 10.1109/TNN.1998.712192
O-Plan2: An Architecture for Command, Planning and Control, 1994. ,
Medical Robotics and Computer-Integrated Surgery, [105], pp.1199-1222, 2008. ,
DOI : 10.1002/9780470172506.ch65
Symbolic Heuristic Policy Iteration Algorithms for Structured Decision-Theoretic Exploration Problems, Workshop on Planning Under Uncertainty for Autonomous Systems at ICAPS, pp.66-74, 2005. ,
Incremental plan aggregation for generating policies in MDPs, Autonomous Agents and Multi-Agent Systems (AAMAS), pp.1231-1238, 2010. ,
Robotic Mapping: A Survey, Exploring Artificial Intelligence in the New Millenium, 2002. ,
Stanley: The robot that won the DARPA Grand Challenge, Journal of Field Robotics, vol.11, issue.9, pp.661-692, 2006. ,
DOI : 10.1007/978-1-4615-3184-5_2
The Generation of Bidding Rules for Auction-Based Robot Coordination, Multi-Robot Systems. From Swarms to Intelligent Automata Volume III, pp.3-14, 2005. ,
DOI : 10.1007/1-4020-3389-3_1
Bundle Adjustment ??? A Modern Synthesis, Vision Algorithms: Theory and Practice, pp.298-372, 2000. ,
DOI : 10.1007/3-540-44480-7_21
URL : https://hal.archives-ouvertes.fr/inria-00548290
Practical Planning: Extending the classical AI planning paradigm, 1988. ,
Combined Task and Motion Planning for Mobile Manipulation, International Conference on Automated Planning and Scheduling (ICAPS), p.2010, 2010. ,
Q&A: Robotics as a tool to understand the brain, BMC Biology, vol.8, issue.1, 2010. ,
DOI : 10.1186/1741-7007-8-92
Computations underlying sensorimotor learning, Current Opinion in Neurobiology, vol.37, pp.7-11, 2016. ,
DOI : 10.1016/j.conb.2015.12.003
Computational Principles of Movement Neuroscience, Nature Neuroscience, vol.3, issue.Supp, pp.1212-1217, 2000. ,
DOI : 10.1038/81497
Space Robots and Systems, [105], pp.1031-1063, 2008. ,
DOI : 10.1007/978-3-540-30301-5_46
Market-Based Multirobot Coordination Using Task Abstraction, Field and Service Robotics Advanced Robotics, pp.167-177, 2006. ,
DOI : 10.1007/10991459_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.402