From post

Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic.

, , и . ATAL, том 1555 из Lecture Notes in Computer Science, стр. 177-193. Springer, (1998)

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.

 

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

An Ambient Agent Model for Support of Informal Caregivers during Stress., , и . IEA/AIE, том 7345 из Lecture Notes in Computer Science, стр. 501-513. Springer, (2012)An Adaptive Temporal-Causal Network Model for Decision Making Under Acute Stress., и . ICCCI (2), том 11056 из Lecture Notes in Computer Science, стр. 13-25. Springer, (2018)Analysis and Support of Organizational Performance Based on a Labeled Graph Approach., , и . ATOP@AAMAS, том 25 из Lecture Notes in Business Information Processing, стр. 80-97. Springer, (2008)Panel: Methodologies for Multi-Agent Systems., , , , и . ATAL, том 1365 из Lecture Notes in Computer Science, стр. 1. Springer, (1997)An Ecological Model-Based Reasoning Model to Support Nature Park Managers., , и . IEA/AIE, том 5579 из Lecture Notes in Computer Science, стр. 172-182. Springer, (2009)A Second-Order Adaptive Agent Network Model for Social Dynamics in a Classroom Setting., , и . ICIC (3), том 12465 из Lecture Notes in Computer Science, стр. 161-173. Springer, (2020)Decision Making Under Acute Stress Modeled by an Adaptive Temporal-Causal Network Model., и . Vietnam. J. Comput. Sci., 7 (4): 433-452 (2020)Work Together or Fight Together: Modeling Adaptive Cooperative and Competitive Metaphors as Mental Models for Joint Decision Making., и . Mental Models and Their Dynamics, Adaptation, and Control, 394, Springer, (2022)Dynamics, Adaptation and Control for Mental Models: A Cognitive Architecture., и . Mental Models and Their Dynamics, Adaptation, and Control, 394, Springer, (2022)How Empathic is Your God: An Adaptive Network Model for Formation and Use of a Mental God-Model and Its Effect on Human Empathy., , и . Mental Models and Their Dynamics, Adaptation, and Control, 394, Springer, (2022)