( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Timed ATL: Forget Memory, Just Count.

, , , , и . J. Artif. Intell. Res., (2019)

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.

Michal Olszewski

Michal Pejko

Michal Novotny

Michal Fic

Michal Goldmann

 

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

Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol., , , , и . Inf. Comput., (2021)Fixpoint Approximation of Strategic Abilities under Imperfect Information., , и . AAMAS, стр. 1241-1249. ACM, (2017)Parametric Model Checking with VerICS., , , , , и . Trans. Petri Nets Other Model. Concurr., (2010)Parameter Synthesis for Timed Kripke Structures., и . Fundam. Informaticae, 133 (2-3): 211-226 (2014)Bounded Model Checking for Parametric Timed Automata., и . Trans. Petri Nets Other Model. Concurr., (2012)Action Synthesis for Branching Time Logic: Theory and Applications., , и . ACM Trans. Embed. Comput. Syst., 14 (4): 64:1-64:23 (2015)Modular Analysis of Tree-Topology Models., , , и . ICFEM, том 13478 из Lecture Notes in Computer Science, стр. 36-53. Springer, (2022)Bounded Model Checking for Parametric Timed Automata., и . ACSD/Petri Nets Workshops, том 827 из CEUR Workshop Proceedings, стр. 419-435. CEUR-WS.org, (2010)Squeezing State Spaces of (Attack-Defence) Trees., , , и . ICECCS, стр. 71-80. IEEE, (2019)Approximating Strategic Abilities under Imperfect Information: a Naive Approach., , и . CoRR, (2015)