( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control.

, , , , и . NFM, том 9690 из Lecture Notes in Computer Science, стр. 388-394. Springer, (2016)

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.

Max Goldman

Alfredo Goldman

Edwin Goldman

Yôḥānān Goldman

Robert P Umbricht

 

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

Collaborative Filtering for Community Threats., , , и . AAAI Spring Symposium: AI Technologies for Homeland Security, стр. 130-132. AAAI, (2005)A Constraint-Based Scheduler for Batch Manufacturing., и . IEEE Expert, 12 (1): 49-56 (1997)A New Model of Plan Recognition, , и . CoRR, (2013)From knowledge bases to decision models., , и . Knowledge Eng. Review, 7 (1): 35-53 (1992)Intentions in Communication: A Review.. AI Magazine, 12 (4): 92-96 (1991)Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis., , и . HSCC, том 2289 из Lecture Notes in Computer Science, стр. 225-238. Springer, (2002)Applications of Model Checking at Honeywell Laboratories., , , , и . SPIN, том 2057 из Lecture Notes in Computer Science, стр. 296-303. Springer, (2001)An Architecture for Hybrid Planning and Execution., , , , и . AAAI Workshop: Planning for Hybrid Systems, том WS-16-12 из AAAI Technical Report, AAAI Press, (2016)978-1-57735-759-9.Plan Libraries for Plan Recognition: Do We Really Know What They Model?, , и . Plan, Activity, and Intent Recognition, том WS-10-05 из AAAI Technical Report, AAAI, (2010)A Logic for Semantic Interpretation., и . ACL, стр. 87-94. ACL, (1988)