Parameterized Verification of Disjunctive Timed Networks von Étienne André, Eichler, Paul, Jacobs, Swen, Shyam Lal Karra

Volltext

Safe and Time-Optimal Control for Railway Games von Karra, Shyam Lal, Larsen, Kim Guldstrand, Lorber, Florian, Srba, Jiří

Volltext

Parameterized Verification of Disjunctive Timed Networks von André, Étienne, Eichler, Paul, Jacobs, Swen, Karra, Shyam Lal

Volltext

Parameterized Verification of Timed Networks with Clock Invariants von André, Étienne, Jacobs, Swen, Karra, Shyam Lal, Sankur, Ocan

Volltext bestellen

On-the-Fly Synthesis for Strictly Alternating Games von Karra, Shyam Lal, Larsen, Kim Guldstrand, Muñiz, Marco, Srba, Jiří

Volltext

Parameterized Verification of Timed Networks with Clock Invariants von Étienne André, Jacobs, Swen, Shyam Lal Karra, Sankur, Ocan

Volltext