Author of the publication

ROSCoq: Robots Powered by Constructive Reals.

, and . ITP, volume 9236 of Lecture Notes in Computer Science, page 34-50. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Learning to Map Natural Language Instructions to Physical Quadcopter Control using Simulated Flight., , , , and . CoRL, volume 100 of Proceedings of Machine Learning Research, page 1415-1438. PMLR, (2019)Empirical Sampling of Path Sets for Local Area Motion Planning., and . ISER, volume 54 of Springer Tracts in Advanced Robotics, page 451-462. Springer, (2008)Differentially constrained mobile robot motion planning in state lattices., , and . J. Field Robotics, 26 (3): 308-333 (2009)Usability Squared: Principles for doing good systems research in robotics., and . CoRR, (2019)Model-Predictive Motion Planning: Several Key Developments for Autonomous Mobile Robots., , , and . IEEE Robotics Autom. Mag., 21 (1): 64-73 (2014)Path and trajectory diversity: Theory and algorithms., , and . ICRA, page 1359-1364. IEEE, (2008)Following High-level Navigation Instructions on a Simulated Quadcopter with Imitation Learning., , , , and . Robotics: Science and Systems, (2018)The Feasible Transition Graph: Encoding Topology and Manipulation Constraints for Multirobot Push-Planning., , , and . WAFR, volume 107 of Springer Tracts in Advanced Robotics, page 301-318. Springer, (2014)ROSCoq: Robots Powered by Constructive Reals., and . ITP, volume 9236 of Lecture Notes in Computer Science, page 34-50. Springer, (2015)Improved hierarchical planner performance using local path equivalence., and . IROS, page 3856-3861. IEEE, (2011)