BibTeX records: Nicolas Perrin 0001

download as .bib file

@article{DBLP:journals/corr/abs-1905-12941,
  author    = {Thomas Pierrot and
               Guillaume Ligner and
               Scott E. Reed and
               Olivier Sigaud and
               Nicolas Perrin and
               Alexandre Laterre and
               David Kas and
               Karim Beguir and
               Nando de Freitas},
  title     = {Learning Compositional Neural Programs with Recursive Tree Search
               and Planning},
  journal   = {CoRR},
  volume    = {abs/1905.12941},
  year      = {2019},
  url       = {http://arxiv.org/abs/1905.12941},
  archivePrefix = {arXiv},
  eprint    = {1905.12941},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1905-12941},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-01738,
  author    = {Astrid Merckling and
               Alexandre Coninx and
               Loic Cressot and
               St{\'{e}}phane Doncieux and
               Nicolas Perrin},
  title     = {State Representation Learning from Demonstration},
  journal   = {CoRR},
  volume    = {abs/1910.01738},
  year      = {2019},
  url       = {http://arxiv.org/abs/1910.01738},
  archivePrefix = {arXiv},
  eprint    = {1910.01738},
  timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1910-01738},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-11679,
  author    = {Guillaume Matheron and
               Nicolas Perrin and
               Olivier Sigaud},
  title     = {The problem with {DDPG:} understanding failures in deterministic environments
               with sparse rewards},
  journal   = {CoRR},
  volume    = {abs/1911.11679},
  year      = {2019},
  url       = {http://arxiv.org/abs/1911.11679},
  archivePrefix = {arXiv},
  eprint    = {1911.11679},
  timestamp = {Tue, 03 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1911-11679},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/finr/DoncieuxFRHDCRG18,
  author    = {St{\'{e}}phane Doncieux and
               David Filliat and
               Natalia D{\'{\i}}az Rodr{\'{\i}}guez and
               Timothy M. Hospedales and
               Richard J. Duro and
               Alexandre Coninx and
               Diederik M. Roijers and
               Beno{\^{\i}}t Girard and
               Nicolas Perrin and
               Olivier Sigaud},
  title     = {Open-Ended Learning: {A} Conceptual Framework Based on Representational
               Redescription},
  journal   = {Front. Neurorobot.},
  volume    = {2018},
  year      = {2018},
  url       = {https://doi.org/10.3389/fnbot.2018.00059},
  doi       = {10.3389/fnbot.2018.00059},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/finr/DoncieuxFRHDCRG18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/Schlehuber-Caissier18,
  author    = {Philipp Schlehuber{-}Caissier and
               Nicolas Perrin},
  title     = {Computing regions of stabilizability for nonlinear control systems
               with input constraints},
  booktitle = {2018 Annual American Control Conference, {ACC} 2018, Milwaukee, WI,
               USA, June 27-29, 2018},
  pages     = {2869--2876},
  year      = {2018},
  crossref  = {DBLP:conf/amcc/2018},
  url       = {https://doi.org/10.23919/ACC.2018.8430798},
  doi       = {10.23919/ACC.2018.8430798},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amcc/Schlehuber-Caissier18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-05832,
  author    = {Alo{\"{\i}}s Pourchot and
               Nicolas Perrin and
               Olivier Sigaud},
  title     = {Importance mixing: Improving sample reuse in evolutionary policy search
               methods},
  journal   = {CoRR},
  volume    = {abs/1808.05832},
  year      = {2018},
  url       = {http://arxiv.org/abs/1808.05832},
  archivePrefix = {arXiv},
  eprint    = {1808.05832},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1808-05832},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-08102,
  author    = {Thomas Pierrot and
               Nicolas Perrin and
               Olivier Sigaud},
  title     = {First-order and second-order variants of the gradient descent: a unified
               framework},
  journal   = {CoRR},
  volume    = {abs/1810.08102},
  year      = {2018},
  url       = {http://arxiv.org/abs/1810.08102},
  archivePrefix = {arXiv},
  eprint    = {1810.08102},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1810-08102},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/BouyerMPS17,
  author    = {Patricia Bouyer and
               Nicolas Markey and
               Nicolas Perrin and
               Philipp Schlehuber{-}Caissier},
  title     = {Timed-automata abstraction of switched dynamical systems using control
               invariants},
  journal   = {Real-Time Systems},
  volume    = {53},
  number    = {3},
  pages     = {327--353},
  year      = {2017},
  url       = {https://doi.org/10.1007/s11241-016-9262-3},
  doi       = {10.1007/s11241-016-9262-3},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/rts/BouyerMPS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trob/PerrinOESLC17,
  author    = {Nicolas Perrin and
               Christian Ott and
               Johannes Englsberger and
               Olivier Stasse and
               Florent Lamiraux and
               Darwin G. Caldwell},
  title     = {Continuous Legged Locomotion Planning},
  journal   = {{IEEE} Trans. Robotics},
  volume    = {33},
  number    = {1},
  pages     = {234--239},
  year      = {2017},
  url       = {https://doi.org/10.1109/TRO.2016.2623329},
  doi       = {10.1109/TRO.2016.2623329},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/trob/PerrinOESLC17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scl/PerrinS16,
  author    = {Nicolas Perrin and
               Philipp Schlehuber{-}Caissier},
  title     = {Fast diffeomorphic matching to learn globally asymptotically stable
               nonlinear dynamical systems},
  journal   = {Systems {\&} Control Letters},
  volume    = {96},
  pages     = {51--59},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.sysconle.2016.06.018},
  doi       = {10.1016/j.sysconle.2016.06.018},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scl/PerrinS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BouyerMPS15,
  author    = {Patricia Bouyer and
               Nicolas Markey and
               Nicolas Perrin and
               Philipp Schlehuber{-}Caissier},
  title     = {Timed-Automata Abstraction of Switched Dynamical Systems Using Control
               Funnels},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 13th International
               Conference, {FORMATS} 2015, Madrid, Spain, September 2-4, 2015, Proceedings},
  pages     = {60--75},
  year      = {2015},
  crossref  = {DBLP:conf/formats/2015},
  url       = {https://doi.org/10.1007/978-3-319-22975-1\_5},
  doi       = {10.1007/978-3-319-22975-1\_5},
  timestamp = {Fri, 06 Sep 2019 10:57:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/BouyerMPS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isrr/PerrinLP15,
  author    = {Nicolas Perrin and
               Darwin Lau and
               Vincent Padois},
  title     = {Effective Generation of Dynamically Balanced Locomotion with Multiple
               Non-coplanar Contacts},
  booktitle = {Robotics Research, Proceedings of the 17th International Symposium
               of Robotics Research, {ISRR} 2015, Sestri Levante, Italy, September
               12-15, 2015, Volume 2},
  pages     = {201--216},
  year      = {2015},
  crossref  = {DBLP:conf/isrr/2015-2},
  url       = {https://doi.org/10.1007/978-3-319-60916-4\_12},
  doi       = {10.1007/978-3-319-60916-4\_12},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isrr/PerrinLP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/ColasantoPTC14,
  author    = {Luca Colasanto and
               Nicolas Perrin and
               Nikos G. Tsagarakis and
               Darwin G. Caldwell},
  title     = {Dynamically transitioning between surfaces of varying inclinations
               to achieve uneven-terrain walking},
  booktitle = {2014 {IEEE} International Conference on Robotics and Automation, {ICRA}
               2014, Hong Kong, China, May 31 - June 7, 2014},
  pages     = {210--215},
  year      = {2014},
  crossref  = {DBLP:conf/icra/2014},
  url       = {https://doi.org/10.1109/ICRA.2014.6906611},
  doi       = {10.1109/ICRA.2014.6906611},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icra/ColasantoPTC14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/Spyrakos-PapastavridisPTDC14,
  author    = {Emmanouil Spyrakos{-}Papastavridis and
               Nicolas Perrin and
               Nikos G. Tsagarakis and
               Jian S. Dai and
               Darwin G. Caldwell},
  title     = {Lyapunov Stability Margins for humanoid robot balancing},
  booktitle = {2014 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems, Chicago, IL, USA, September 14-18, 2014},
  pages     = {945--951},
  year      = {2014},
  crossref  = {DBLP:conf/iros/2014},
  url       = {https://doi.org/10.1109/IROS.2014.6942673},
  doi       = {10.1109/IROS.2014.6942673},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iros/Spyrakos-PapastavridisPTDC14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ar/PerrinSLY13,
  author    = {Nicolas Perrin and
               Olivier Stasse and
               Florent Lamiraux and
               Eiichi Yoshida},
  title     = {Humanoid motion generation and swept volumes: theoretical bounds for
               safe steps},
  journal   = {Advanced Robotics},
  volume    = {27},
  number    = {14},
  pages     = {1045--1058},
  year      = {2013},
  url       = {https://doi.org/10.1080/01691864.2013.805468},
  doi       = {10.1080/01691864.2013.805468},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ar/PerrinSLY13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/PerrinTC13,
  author    = {Nicolas Perrin and
               Nikolaos G. Tsagarakis and
               Darwin G. Caldwell},
  title     = {Compliant attitude control and stepping strategy for balance recovery
               with the humanoid {COMAN}},
  booktitle = {2013 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems, Tokyo, Japan, November 3-7, 2013},
  pages     = {4145--4151},
  year      = {2013},
  crossref  = {DBLP:conf/iros/2013},
  url       = {https://doi.org/10.1109/IROS.2013.6696950},
  doi       = {10.1109/IROS.2013.6696950},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iros/PerrinTC13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trob/PerrinSBLY12,
  author    = {Nicolas Perrin and
               Olivier Stasse and
               Leo Baudouin and
               Florent Lamiraux and
               Eiichi Yoshida},
  title     = {Fast Humanoid Robot Collision-Free Footstep Planning Using Swept Volume
               Approximations},
  journal   = {{IEEE} Trans. Robotics},
  volume    = {28},
  number    = {2},
  pages     = {427--439},
  year      = {2012},
  url       = {https://doi.org/10.1109/TRO.2011.2172152},
  doi       = {10.1109/TRO.2011.2172152},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/trob/PerrinSBLY12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/humanoids/HerdtPW12,
  author    = {Andrei Herdt and
               Nicolas Perrin and
               Pierre{-}Brice Wieber},
  title     = {{LMPC} based online generation of more efficient walking motions},
  booktitle = {12th {IEEE-RAS} International Conference on Humanoid Robots (Humanoids
               2012), Osaka, Japan, November 29 - Dec. 1, 2012},
  pages     = {390--395},
  year      = {2012},
  crossref  = {DBLP:conf/humanoids/2012},
  url       = {https://doi.org/10.1109/HUMANOIDS.2012.6651549},
  doi       = {10.1109/HUMANOIDS.2012.6651549},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/humanoids/HerdtPW12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/PerrinSLKM12,
  author    = {Nicolas Perrin and
               Olivier Stasse and
               Florent Lamiraux and
               Young J. Kim and
               Dinesh Manocha},
  title     = {Real-time footstep planning for humanoid robots among 3D obstacles
               using a hybrid bounding box},
  booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
               2012, 14-18 May, 2012, St. Paul, Minnesota, {USA}},
  pages     = {977--982},
  year      = {2012},
  crossref  = {DBLP:conf/icra/2012},
  url       = {https://doi.org/10.1109/ICRA.2012.6224555},
  doi       = {10.1109/ICRA.2012.6224555},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icra/PerrinSLKM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wafr/Perrin12,
  author    = {Nicolas Perrin},
  title     = {From Discrete to Continuous Motion Planning},
  booktitle = {Algorithmic Foundations of Robotics {X} - Proceedings of the Tenth
               Workshop on the Algorithmic Foundations of Robotics, {WAFR} 2012,
               MIT, Cambridge, Massachusetts, USA, June 13-15 2012},
  pages     = {89--104},
  year      = {2012},
  crossref  = {DBLP:conf/wafr/2012},
  url       = {https://doi.org/10.1007/978-3-642-36279-8\_6},
  doi       = {10.1007/978-3-642-36279-8\_6},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wafr/Perrin12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Perrin11,
  author    = {Nicolas Perrin},
  title     = {Footstep planning for humanoid robots: discrete and continuous approaches},
  school    = {National Polytechnic Institute of Toulouse, France},
  year      = {2011},
  url       = {https://tel.archives-ouvertes.fr/tel-00647469},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/hal/Perrin11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/humanoids/BaudouinPMLSY11,
  author    = {Leo Baudouin and
               Nicolas Perrin and
               Thomas Moulard and
               Florent Lamiraux and
               Olivier Stasse and
               Eiichi Yoshida},
  title     = {Real-time replanning using 3D environment for humanoid robot},
  booktitle = {11th {IEEE-RAS} International Conference on Humanoid Robots (Humanoids
               2011), Bled, Slovenia, October 26-28, 2011},
  pages     = {584--589},
  year      = {2011},
  crossref  = {DBLP:conf/humanoids/2011},
  url       = {https://doi.org/10.1109/Humanoids.2011.6100844},
  doi       = {10.1109/Humanoids.2011.6100844},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/humanoids/BaudouinPMLSY11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/PerrinSLY11,
  author    = {Nicolas Perrin and
               Olivier Stasse and
               Florent Lamiraux and
               Eiichi Yoshida},
  title     = {A biped walking pattern generator based on "half-steps"
               for dimensionality reduction},
  booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
               2011, Shanghai, China, 9-13 May 2011},
  pages     = {1270--1275},
  year      = {2011},
  crossref  = {DBLP:conf/icra/2011},
  url       = {https://doi.org/10.1109/ICRA.2011.5979917},
  doi       = {10.1109/ICRA.2011.5979917},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icra/PerrinSLY11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/PerrinSLY11,
  author    = {Nicolas Perrin and
               Olivier Stasse and
               Florent Lamiraux and
               Eiichi Yoshida},
  title     = {Weakly collision-free paths for continuous humanoid footstep planning},
  booktitle = {2011 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems, {IROS} 2011, San Francisco, CA, USA, September 25-30, 2011},
  pages     = {4408--4413},
  year      = {2011},
  crossref  = {DBLP:conf/iros/2011},
  url       = {https://doi.org/10.1109/IROS.2011.6094511},
  doi       = {10.1109/IROS.2011.6094511},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iros/PerrinSLY11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/PerrinSLY10,
  author    = {Nicolas Perrin and
               Olivier Stasse and
               Florent Lamiraux and
               Eiichi Yoshida},
  title     = {Approximation of feasibility tests for reactive walk on {HRP-2}},
  booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
               2010, Anchorage, Alaska, USA, 3-7 May 2010},
  pages     = {4243--4248},
  year      = {2010},
  crossref  = {DBLP:conf/icra/2010},
  url       = {https://doi.org/10.1109/ROBOT.2010.5509395},
  doi       = {10.1109/ROBOT.2010.5509395},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icra/PerrinSLY10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/HerdtPW10,
  author    = {Andrei Herdt and
               Nicolas Perrin and
               Pierre{-}Brice Wieber},
  title     = {Walking without thinking about it},
  booktitle = {2010 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems, October 18-22, 2010, Taipei, Taiwan},
  pages     = {190--195},
  year      = {2010},
  crossref  = {DBLP:conf/iros/2010},
  url       = {https://doi.org/10.1109/IROS.2010.5654429},
  doi       = {10.1109/IROS.2010.5654429},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iros/HerdtPW10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/humanoids/StasseEPMK09,
  author    = {Olivier Stasse and
               Paul Evrard and
               Nicolas Perrin and
               Nicolas Mansard and
               Abderrahmane Kheddar},
  title     = {Fast foot prints re-planning and motion generation during walking
               in physical human-humanoid interaction},
  booktitle = {9th {IEEE-RAS} International Conference on Humanoid Robots, Humanoids
               2009, Paris, France, December 7-10, 2009},
  pages     = {284--289},
  year      = {2009},
  crossref  = {DBLP:conf/humanoids/2009},
  url       = {https://doi.org/10.1109/ICHR.2009.5379563},
  doi       = {10.1109/ICHR.2009.5379563},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/humanoids/StasseEPMK09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Comon-LundhJP08,
  author    = {Hubert Comon{-}Lundh and
               Florent Jacquemard and
               Nicolas Perrin},
  title     = {Visibly Tree Automata with Memory and Constraints},
  journal   = {Logical Methods in Computer Science},
  volume    = {4},
  number    = {2},
  year      = {2008},
  url       = {https://doi.org/10.2168/LMCS-4(2:8)2008},
  doi       = {10.2168/LMCS-4(2:8)2008},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lmcs/Comon-LundhJP08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0804-3065,
  author    = {Hubert Comon{-}Lundh and
               Florent Jacquemard and
               Nicolas Perrin},
  title     = {Visibly Tree Automata with Memory and Constraints},
  journal   = {CoRR},
  volume    = {abs/0804.3065},
  year      = {2008},
  url       = {http://arxiv.org/abs/0804.3065},
  archivePrefix = {arXiv},
  eprint    = {0804.3065},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0804-3065},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Comon-LundhJP07,
  author    = {Hubert Comon{-}Lundh and
               Florent Jacquemard and
               Nicolas Perrin},
  title     = {Tree Automata with Memory, Visibility and Structural Constraints},
  booktitle = {Foundations of Software Science and Computational Structures, 10th
               International Conference, {FOSSACS} 2007, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2007,
               Braga, Portugal, March 24-April 1, 2007, Proceedings},
  pages     = {168--182},
  year      = {2007},
  crossref  = {DBLP:conf/fossacs/2007},
  url       = {https://doi.org/10.1007/978-3-540-71389-0\_13},
  doi       = {10.1007/978-3-540-71389-0\_13},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/Comon-LundhJP07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amcc/2018,
  title     = {2018 Annual American Control Conference, {ACC} 2018, Milwaukee, WI,
               USA, June 27-29, 2018},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8410068/proceeding},
  isbn      = {978-1-5386-5428-6},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amcc/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2015,
  editor    = {Sriram Sankaranarayanan and
               Enrico Vicario},
  title     = {Formal Modeling and Analysis of Timed Systems - 13th International
               Conference, {FORMATS} 2015, Madrid, Spain, September 2-4, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9268},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-22975-1},
  doi       = {10.1007/978-3-319-22975-1},
  isbn      = {978-3-319-22974-4},
  timestamp = {Fri, 06 Sep 2019 10:57:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isrr/2015-2,
  editor    = {Antonio Bicchi and
               Wolfram Burgard},
  title     = {Robotics Research, Proceedings of the 17th International Symposium
               of Robotics Research, {ISRR} 2015, Sestri Levante, Italy, September
               12-15, 2015, Volume 2},
  series    = {Springer Proceedings in Advanced Robotics},
  volume    = {3},
  publisher = {Springer},
  year      = {2018},
  isbn      = {978-3-319-60915-7},
  timestamp = {Mon, 11 Dec 2017 19:15:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isrr/2015-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icra/2014,
  title     = {2014 {IEEE} International Conference on Robotics and Automation, {ICRA}
               2014, Hong Kong, China, May 31 - June 7, 2014},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6895053/proceeding},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icra/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iros/2014,
  title     = {2014 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems, Chicago, IL, USA, September 14-18, 2014},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6926644/proceeding},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iros/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iros/2013,
  title     = {2013 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems, Tokyo, Japan, November 3-7, 2013},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6679723/proceeding},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iros/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/humanoids/2012,
  title     = {12th {IEEE-RAS} International Conference on Humanoid Robots (Humanoids
               2012), Osaka, Japan, November 29 - Dec. 1, 2012},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6627393/proceeding},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/humanoids/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icra/2012,
  title     = {{IEEE} International Conference on Robotics and Automation, {ICRA}
               2012, 14-18 May, 2012, St. Paul, Minnesota, {USA}},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6215071/proceeding},
  isbn      = {978-1-4673-1403-9},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icra/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wafr/2012,
  editor    = {Emilio Frazzoli and
               Tom{\'{a}}s Lozano{-}P{\'{e}}rez and
               Nicholas Roy and
               Daniela Rus},
  title     = {Algorithmic Foundations of Robotics {X} - Proceedings of the Tenth
               Workshop on the Algorithmic Foundations of Robotics, {WAFR} 2012,
               MIT, Cambridge, Massachusetts, USA, June 13-15 2012},
  series    = {Springer Tracts in Advanced Robotics},
  volume    = {86},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-36279-8},
  doi       = {10.1007/978-3-642-36279-8},
  isbn      = {978-3-642-36278-1},
  timestamp = {Fri, 19 May 2017 01:26:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wafr/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/humanoids/2011,
  title     = {11th {IEEE-RAS} International Conference on Humanoid Robots (Humanoids
               2011), Bled, Slovenia, October 26-28, 2011},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6086637/proceeding},
  isbn      = {978-1-61284-866-2},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/humanoids/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icra/2011,
  title     = {{IEEE} International Conference on Robotics and Automation, {ICRA}
               2011, Shanghai, China, 9-13 May 2011},
  publisher = {{IEEE}},
  year      = {2011},
  timestamp = {Wed, 17 Aug 2011 07:50:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icra/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iros/2011,
  title     = {2011 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems, {IROS} 2011, San Francisco, CA, USA, September 25-30, 2011},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6034548/proceeding},
  isbn      = {978-1-61284-454-1},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iros/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icra/2010,
  title     = {{IEEE} International Conference on Robotics and Automation, {ICRA}
               2010, Anchorage, Alaska, USA, 3-7 May 2010},
  publisher = {{IEEE}},
  year      = {2010},
  timestamp = {Wed, 25 Aug 2010 09:49:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icra/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iros/2010,
  title     = {2010 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems, October 18-22, 2010, Taipei, Taiwan},
  publisher = {{IEEE}},
  year      = {2010},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5639431/proceeding},
  isbn      = {978-1-4244-6674-0},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iros/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/humanoids/2009,
  title     = {9th {IEEE-RAS} International Conference on Humanoid Robots, Humanoids
               2009, Paris, France, December 7-10, 2009},
  publisher = {{IEEE}},
  year      = {2009},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5368461/proceeding},
  isbn      = {978-1-4244-4597-4},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/humanoids/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2007,
  editor    = {Helmut Seidl},
  title     = {Foundations of Software Science and Computational Structures, 10th
               International Conference, {FOSSACS} 2007, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2007,
               Braga, Portugal, March 24-April 1, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4423},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-71389-0},
  doi       = {10.1007/978-3-540-71389-0},
  isbn      = {978-3-540-71388-3},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics