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.

 

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

Deep Statistical Model Checking., , , , и . FORTE, том 12136 из Lecture Notes in Computer Science, стр. 96-114. Springer, (2020)Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure., , , , , , и . EuroS&P, стр. 77-91. IEEE, (2018)DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning., , , , , и . QEST, том 12846 из Lecture Notes in Computer Science, стр. 197-216. Springer, (2021)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)Beliefs We Can Believe in: Replacing Assumptions with Data in Real-Time Search., , , , , и . AAAI, стр. 9827-9834. AAAI Press, (2020)Red-Black Relaxed Plan Heuristics., , и . AAAI, стр. 489-495. AAAI Press, (2013)Semi-Relaxed Plan Heuristics., , и . AAAI, стр. 2126-2128. AAAI Press, (2012)Refining Abstraction Heuristics during Real-Time Planning., , , и . AAAI, стр. 7578-7585. AAAI Press, (2019)Neural Policy Safety Verification via Predicate Abstraction: CEGAR., , и . AAAI, стр. 15188-15196. AAAI Press, (2023)