Jonathan F. Jønler

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Network Topologies

Cooperative Game

Fully Automatic

Leader Follower

Top Venues

Publications

Martin Didriksen, Peter Gjøl Jensen, Jonathan F. Jønler, Andrei-Ioan Katona, Sangey D. L. Lama, Frederik B. Lottrup, Shahab Shajarat, Jirí Srba
Automatic Synthesis of Transiently Correct Network Updates via Petri Games. Petri Nets (2021)