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.

 

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

Strong planning under partial observability., , , и . Artif. Intell., 170 (4-5): 337-384 (2006)Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking., , и . TACAS, том 2031 из Lecture Notes in Computer Science, стр. 313-327. Springer, (2001)A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis., , и . MoChArt, том 4428 из Lecture Notes in Computer Science, стр. 1-18. Springer, (2006)SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments., , , и . BIS (Workshops), том 127 из Lecture Notes in Business Information Processing, стр. 243-254. Springer, (2012)Towards Strong Cyclic Planning under Partial Observability., , и . ICAPS, стр. 354-357. AAAI, (2006)Safe LTL Assumption-Based Planning., и . ICAPS, стр. 193-202. AAAI, (2006)Semantic-Based Process Analysis., , , , , , , и . ISWC (2), том 8797 из Lecture Notes in Computer Science, стр. 228-243. Springer, (2014)Modeling and Monitoring Processes exploiting Semantic Reasoning., , , , , , , и . ISWC (Posters & Demos), том 1272 из CEUR Workshop Proceedings, стр. 121-124. CEUR-WS.org, (2014)Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking., , , и . IJCAI, стр. 473-478. Morgan Kaufmann, (2001)A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools., , , и . SAFECOMP, том 1516 из Lecture Notes in Computer Science, стр. 221-230. Springer, (1998)