Author of the publication

Concurrent Games in Dynamic Epistemic Logic.

, , , and . IJCAI, page 1877-1883. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Logic Range-free Algorithm for Localization in Wireless Sensor Networks., and . DMSVIVA, page 119-124. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2018)DClu: A Direction-Based Clustering Algorithm for VANETs Management., and . IMIS, volume 279 of Lecture Notes in Networks and Systems, page 253-262. Springer, (2021)Reasoning About Smart Parking.. EUMAS, volume 14282 of Lecture Notes in Computer Science, page 493-499. Springer, (2023)Reasoning about Reachability and Concurrency in DEL Games.. OVERLAY@AI*IA, volume 3311 of CEUR Workshop Proceedings, page 39-43. CEUR-WS.org, (2022)A Logic-based Clustering Approach for Cooperative Traffic Control Systems., , , and . 3PGCIC, volume 1 of Lecture Notes on Data Engineering and Communications Technologies, page 737-746. Springer, (2016)Multi-Agent Parking Problem with Sequential Allocation., , and . ICAART (3), page 484-492. SCITEPRESS, (2023)A Logic User-Based Algorithm to Improve Node Distribution in Wireless Sensor Network., and . J. Vis. Lang. Sentient Syst., (2018)Logic-based clustering approach for management and improvement of VANETs., , and . J. High Speed Networks, 23 (3): 225-236 (2017)Concurrent Games in Dynamic Epistemic Logic., , , and . IJCAI, page 1877-1883. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..The Parking Problem: A Game-Theoretic Solution., , and . CoRR, (2022)