AA
A. Agung Julius
Unclaimed profileORCID verified
This profile was assembled from public publication metadata. If this is you, claim it to manage your bio, add collaborators, and connect with the research community on Inested.
Publications
4
- Task and Motion Planning for Manipulator Arms With Metric Temporal Logic SpecificationsView →IEEE Robotics and Automation Letters2017Cited 19×
- Trajectory-based formal controller synthesis for multi-link robots with elastic jointsView →53rd IEEE Conference on Decision and Control2015Cited 1×
- An MILP approach for real-time optimal controller synthesis with Metric Temporal Logic specificationsView →2016 American Control Conference (ACC)2016Cited 45×