Open AccessThis Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction
Author(s) -
Morteza Lahijanian,
Shaull Almagor,
Dror Fried,
Lydia E. Kavraki,
Moshe Y. Vardi
Publication year - 2015
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v29i1.9670
Subject(s) - computer science , robot , linear temporal logic , motion planning , automaton , planner , robotics , abstraction , graph , mathematical optimization , artificial intelligence , theoretical computer science , mathematics , philosophy , epistemology