Author of the publication

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

On the semantics of Strategy Logic., , and . Inf. Process. Lett., 116 (2): 75-79 (2016)Nash equilibria in symmetric graph games with partial observation., , and . Inf. Comput., (2017)Satisfiability of ATL with strategy contexts., and . GandALF, volume 119 of EPTCS, page 208-223. (2013)On the Expressiveness and Complexity of ATL., , and . Logical Methods in Computer Science, (2008)Model Checking Timed Automata with One or Two Clocks., , and . CONCUR, volume 3170 of Lecture Notes in Computer Science, page 387-401. Springer, (2004)Costs Are Expensive!, and . FORMATS, volume 4763 of Lecture Notes in Computer Science, page 53-68. Springer, (2007)Symbolic Optimal Reachability in Weighted Timed Automata., , and . CAV (1), volume 9779 of Lecture Notes in Computer Science, page 513-530. Springer, (2016)Robust Model-Checking of Linear-Time Properties in Timed Automata., , and . LATIN, volume 3887 of Lecture Notes in Computer Science, page 238-249. Springer, (2006)Quantified CTL: Expressiveness and Model Checking - (Extended Abstract)., , and . CONCUR, volume 7454 of Lecture Notes in Computer Science, page 177-192. Springer, (2012)Quantitative Verification of Weighted Kripke Structures., , and . ATVA, volume 8837 of Lecture Notes in Computer Science, page 64-80. Springer, (2014)