Author of the publication

Abstractions of Multi-agent Systems.

, and . CEEMAS, volume 4696 of Lecture Notes in Computer Science, page 11-21. Springer, (2007)

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

Relating Paths in Transition Systems: the Fall of the Modal mu-Calculus., , and . ICTCS, volume 1720 of CEUR Workshop Proceedings, page 240-244. CEUR-WS.org, (2016)Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall.. CLIMA, volume 5405 of Lecture Notes in Computer Science, page 117-131. Springer, (2008)Removing All Silent Transitions from Timed Automata., and . FORMATS, volume 5813 of Lecture Notes in Computer Science, page 118-132. Springer, (2009)Safraless Synthesis for Epistemic Temporal Specifications., , and . CAV, volume 8559 of Lecture Notes in Computer Science, page 441-456. Springer, (2014)A Nonarchimedian Discretization for Timed Languages.. Fundam. Inform., 131 (3-4): 389-407 (2014)Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus., , and . ACM Trans. Comput. Log., 19 (3): 23:1-23:33 (2018)Real-Time Automata.. Journal of Automata, Languages and Combinatorics, 6 (1): 3-23 (2001)On the computation of covert channel capacity., and . RAIRO - Theor. Inf. and Applic., 44 (1): 37-58 (2010)Distributed Time-Asynchronous Automata., and . ICTAC, volume 4711 of Lecture Notes in Computer Science, page 185-200. Springer, (2007)Sofic-Dyck Shifts., , and . MFCS (1), volume 8634 of Lecture Notes in Computer Science, page 63-74. Springer, (2014)