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.

 

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

Electric Vehicle Location-Routing Task-Motion Planning., и . CASE, стр. 1-7. IEEE, (2023)Mixed propositional and numerical planning in the model checking. International Conference on Artificial Intelligence Planning and Scheduling: Workshop on Planning for Temporal Domains, (2002)Heuristic Search Planning with BDDs.. PuK, (2000)Dynamic Play via Suit Factorization Search in Skat.. KI, том 12325 из Lecture Notes in Computer Science, стр. 18-32. Springer, (2020)MIPS: The Model-Checking Integrated Planning System., и . AI Magazine, 22 (3): 67-72 (2001)20 Jahre PuK., и . Künstliche Intell., 21 (1): 4 (2007)In-place Heap Construction with Optimized Comparisons, Moves, and Cache Misses., , , и . MFCS, том 7464 из Lecture Notes in Computer Science, стр. 259-270. Springer, (2012)Error Detection with Directed Symbolic Model Checking., и . World Congress on Formal Methods, том 1708 из Lecture Notes in Computer Science, стр. 195-211. Springer, (1999)Branch-and-Bound Optimization of a Multiagent System for Flow Production using Model Checking., и . ICAART (1), стр. 27-37. SciTePress, (2016)Strengthened Lazy Heaps: Surpassing the Lower Bounds for Binary Heaps., , и . CoRR, (2014)