( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Learning Task Specifications from Demonstrations via the Principle of Maximum Causal Entropy.

, и . 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.

Marcell Baumann

Marcell Schweitzer

Marcell Frey

Marcell Hammer

Marcell Missura

 

Другие публикации лиц с тем же именем

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