Author of the publication

Learning Task Specifications from Demonstrations via the Principle of Maximum Causal Entropy.

, and . CoRR, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Learning Task Specifications from Demonstrations via the Principle of Maximum Causal Entropy., and . CoRR, (2019)Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations., , , , and . FMCAD, page 1-6. IEEE, (2022)Modeling and Influencing Human Attentiveness in Autonomy-to-Human Perception Hand-offs., , , , , , , and . ITSC, page 2585-2592. IEEE, (2022)Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications., , , , and . CoRR, (2017)Model Checking Finite-Horizon Markov Chains with Probabilistic Inference., , , , , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 577-601. Springer, (2021)Maximum Causal Entropy Specification Inference from Demonstrations., and . CAV (2), volume 12225 of Lecture Notes in Computer Science, page 255-278. Springer, (2020)Interpretable classification of time-series data using efficient enumerative techniques., , , , and . HSCC, page 9:1-9:10. ACM, (2020)VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems., , , , , , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 432-442. Springer, (2019)Learning Formal Specifications from Membership and Preference Queries., , , and . CoRR, (2023)Demonstration Informed Specification Search., , , and . CoRR, (2021)