( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automatic synthesis of switching controllers for linear hybrid systems: Safety control.

, , и . Theor. Comput. Sci., (2013)

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.

Massimo Viola

Massimo Tallarida

Massimo Malagó

Massimo Moser

Massimo Epis

 

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

Formal Specification of Beliefs in Multi-Agent Systems., , , , и . ATAL, том 1193 из Lecture Notes in Computer Science, стр. 117-130. Springer, (1996)Formalizing Belief Reports - The Approach and a Case Study., , и . AIMSA, том 1480 из Lecture Notes in Computer Science, стр. 62-75. Springer, (1998)Distributed Context-Aware Systems., , и . Human-Computer Interaction, 16 (2-4): 213-228 (2001)Reasoning About Substructures and Games., , и . ACM Trans. Comput. Log., 16 (3): 25:1-25:51 (2015)Robust worst cases for parity games algorithms., , и . Inf. Comput., (2020)A delayed promotion policy for parity games., , и . Inf. Comput., (2018)Improving Priority Promotion for Parity Games., , и . Haifa Verification Conference, том 10028 из Lecture Notes in Computer Science, стр. 117-133. (2016)Abstraction Refinement of Linear Programs with Arrays., , и . TACAS, том 4424 из Lecture Notes in Computer Science, стр. 373-388. Springer, (2007)Substructure Temporal Logic., , и . LICS, стр. 368-377. IEEE Computer Society, (2013)Good-for-Game QPTL: An Alternating Hodges Semantics., , , и . CoRR, (2021)