Patrick Kasting

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 2

Top Topics

Cooperative Game

Partial Solutions

General Game Playing

Nash Equilibria

Top Venues

Proc. ACM Program. Lang.

Publications

Jan Midtgaard, Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, Hanne Riis Nielson
Effect-driven QuickChecking of compilers. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Patrick Kasting, Michael R. Hansen, Steen Vester
Synthesis of Railway-Signaling Plans using Reachability Games. IFL (2016)