Isabella Kaufmann

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 4

Top Topics

Sufficient Conditions

Game Tree Search

Top Venues

J. Log. Algebraic Methods Program.

Fundam. Informaticae

Publications

Isabella Kaufmann, Kim Guldstrand Larsen, Jirí Srba
Synthesis for Multi-weighted Games with Branching-Time Winning Conditions. Petri Nets (2020)
Lasse S. Jensen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Jirí Srba
Model checking and synthesis for branching multi-weighted logics. J. Log. Algebraic Methods Program. 105 (2019)
Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Peter Gjøl Jensen, Tobias Skovgaard Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs. Fundam. Informaticae 161 (4) (2018)
Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias Skovgaard Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba
Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation. Petri Nets (2017)