@inbook{4558a801fd204306a7e2ab4676b20e28,
title = "Multi-objective Optimal Control for Proactive Decision Making with Temporal Logic Models",
keywords = "Data-mining, Decision-making, Formal methods, Human-robot interaction",
author = "Chinchali, {Sandeep P.} and Livingston, {Scott C.} and Marco Pavone",
note = "Publisher Copyright: {\textcopyright} 2020, Springer Nature Switzerland AG.",
year = "2020",
doi = "10.1007/978-3-030-28619-4_16",
language = "English",
series = "Springer Proceedings in Advanced Robotics",
publisher = "Springer Science and Business Media B.V.",
pages = "127--144",
booktitle = "Springer Proceedings in Advanced Robotics",
address = "Germany",
}