A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Minimal specification revision for weighted transition systems
2013
2013 IEEE International Conference on Robotics and Automation
In this paper, we study the problem of revising Linear Temporal Logic (LTL) formulas that capture specifications for optimal planning over weighted transition systems. Namely, it is assumed that the model of the system is a weighted finite state transition system. The LTL specification captures the system requirements which must be satisfied by a plan which costs less than a certain cost budget. If the cost bounds cannot be satisfied with the initial specification, then it is desirable to
doi:10.1109/icra.2013.6631151
dblp:conf/icra/KimF13
fatcat:yadrbjo5l5cjvi3juqau3tecry