Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
Fordham Robotics and Computer Vision Lab Publications | ||||||||
Line: 8 to 8 | ||||||||
2016 | ||||||||
Added: | ||||||||
> > | D. Paul Benjamin , Hong Yue, Damian Lyons, Classification and Prediction of Human Behaviors by a Mobile Robot, in: Advances in Human Factors in Robots and Unmanned Systems Volume 499 of the series Advances in Intelligent Systems and Computing pp 189-195, 2016. | |||||||
Damian Lyons, Ron Arkin, Shu Jiang, Matthew O'Brien, Feng Tang and Peng Tang, "Formal Performance Guarantees for Behavior-based Localization Missions" IEE int. Conf on Tools with AI, Nov 2016 San Jose CA.
Tang, F., Lyons, D., and Arkin, R.., “Establishing Performance Guarantees for Behavior-Based Robot Missions Using an SMT Solver” 47th International Symposium on Robotics ISR 2016, Munich Germany. PDF![]() |