( en | de | ru )

 

Disambiguation of "Vester, Steen"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesis of Railway-Signaling Plans using Reachability Games.

, , and . IFL, page 9:1-9:13. ACM, (2016)

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.

Frederic Vester

Gerhard Vester

Berthold Vester

Gerhard Vester

Gerhard Vester

 

Other publications of authors with the same name

Symmetry Reduction in Infinite Games with Finite Branching., and . ATVA, volume 8837 of Lecture Notes in Computer Science, page 281-296. Springer, (2014)Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics., and . Advances in Modal Logic, page 234-253. College Publications, (2014)Reimplementing a Multi-Agent System in Python., , , , , and . ProMAS, volume 7837 of Lecture Notes in Computer Science, page 205-216. Springer, (2012)Winning Cores in Parity Games.. LICS, page 662-671. ACM, (2016)Game-based verification and synthesis.. Technical University of Denmark, (2016)Nash equilibria in symmetric graph games with partial observation., , and . Inf. Comput., (2017)Synthesis of Railway-Signaling Plans using Reachability Games., , and . IFL, page 9:1-9:13. ACM, (2016)On the Complexity of Model-Checking Branching and Alternating-Time Temporal Logics in One-Counter Systems.. ATVA, volume 9364 of Lecture Notes in Computer Science, page 361-377. Springer, (2015)Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach., , and . ProMAS, volume 7217 of Lecture Notes in Computer Science, page 185-196. Springer, (2011)