From post

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.

 

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

Neural Policy Safety Verification via Predicate Abstraction: CEGAR., , и . AAAI, стр. 15188-15196. AAAI Press, (2023)Red-Black Relaxed Plan Heuristics., , и . AAAI, стр. 489-495. AAAI Press, (2013)Beliefs We Can Believe in: Replacing Assumptions with Data in Real-Time Search., , , , , и . AAAI, стр. 9827-9834. AAAI Press, (2020)Refining Abstraction Heuristics during Real-Time Planning., , , и . AAAI, стр. 7578-7585. AAAI Press, (2019)Semi-Relaxed Plan Heuristics., , и . AAAI, стр. 2126-2128. AAAI Press, (2012)DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning., , , , , и . QEST, том 12846 из Lecture Notes in Computer Science, стр. 197-216. Springer, (2021)Lab Conditions for Research on Explainable Automated Decisions., , , , , , , и . TAILOR, том 12641 из Lecture Notes in Computer Science, стр. 83-90. Springer, (2020)Systematic Analysis of IT Complexity Challenges Hindering the Implementation of Industrie 4.0 Roadmaps., , , , , и . ICSLT, стр. 104-108. ACM, (2019)Information Logistics for a People-Mover Platform., , , и . ICSLT, стр. 39-44. ACM, (2019)Conformant planning via heuristic forward search: A new approach., и . Artif. Intell., 170 (6-7): 507-541 (2006)