Author:
Carlsen Falke B. Ø.,Frydenskov Lars Bo P.,Jensen Nicolaj Ø.,Rasmussen Jener,Sørensen Mathias M.,Weirsøe Asger G.,Jensen Mathias C.,Larsen Kim G.
Publisher
Open Publishing Association
Subject
Psychiatry and Mental health
Reference14 articles.
1. Alternating-Time Temporal Logic;Alur;J. ACM,2002
2. Design and synthesis of synchronization skeletons using branching time temporal logic;Clarke,1982
3. Handbook of Model Checking
4. Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation;Dalsgaard, Andreas E. and Enevoldsen, Søren and Fogh, Peter and Jensen, Lasse S. and Jepsen, Tobias S. and Kaufmann, Isabella and Larsen, Kim G. and Nielsen, Søren M. and Olesen, Mads Chr. and Pastva, Samuel and Srba, Jiří,2017
5. Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs;Enevoldsen;LOPSTR2020,2020