Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations

Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations

© 2019 International Joint Conferences on Artificial Intelligence. All rights reserved. Temporal logics are useful for providing concise descriptions of system behavior, and have been successfully used as a language for goal definitions in task planning. Prior works on inferring temporal logic speci...

Full description

Bibliographic Details
Main Authors: Kim, Joseph, Muise, Christian, Shah, Ankit Jayesh, Agarwal, Shubham, Shah, Julie A
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:English
Published: International Joint Conferences on Artificial Intelligence 2021
Online Access:https://hdl.handle.net/1721.1/137327

Internet

https://hdl.handle.net/1721.1/137327

Similar Items