Simon Laursen

According to our database, Simon Laursen authored at least 6 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Limit Your Consumption! Finding Bounds in Average-energy Games.

Kim G. Larsen, Simon Laursen, Martin Zimmermann

Proceedings of the Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, 2016

2015

Average-energy games (full version).

Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen

CoRR, 2015

Average-energy games.

Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim Guldstrand Larsen, Simon Laursen

Proceedings of the Proceedings Sixth International Symposium on Games, 2015

Polynomial Time Decidability of Weighted Synchronization under Partial Observability.

Jan Kretínský, Kim Guldstrand Larsen, Simon Laursen, Jirí Srba

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Synchronizing Strategies under Partial Observability.

Kim Guldstrand Larsen, Simon Laursen, Jirí Srba

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2012

Action Investment Energy Games.

Kim G. Larsen, Simon Laursen, Jirí Srba

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2012