Controlled Invariant Sets: Implicit Closed-Form Representations and Applications von Anevlavis, Tzanis, Liu, Zexiang, Ozay, Necmiye, Tabuada, Paulo

Volltext

DEBT STABILIZATION IN THE PRESENCE OF ENDOGENOUS RISK PREMIA: A DYNAMIC GAME APPROACH von Anevlavis, Tzanis, Papavassilopoulos, George, Engwerda, Jacob, van Aarle, Bas

Volltext

Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic von Anevlavis, Tzanis, Philippe, Matthew, Neider, Daniel, Tabuada, Paulo

Volltext

Being correct is not enough: efficient verification using robust linear temporal logic von Tzanis Anevlavis, Philippe, Matthew, Neider, Daniel, Tabuada, Paulo

Volltext

Debt stabilization games in a monetary union: What are the effects of introducing eurobonds? von Engwerda, Jacob, van Aarle, Bas, Anevlavis, Tzanis

Volltext

Debt stabilization games in a monetary union: What are the effects of introducing eurobonds? von Engwerda, Jacob, van Aarle, Bas, Anevlavis, Tzanis

Volltext

Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems von Liu, Zexiang, Anevlavis, Tzanis, Ozay, Necmiye, Tabuada, Paulo

Volltext bestellen

Controlled invariant sets: implicit closed-form representations and applications von Anevlavis, Tzanis, Liu, Zexiang, Ozay, Necmiye, Tabuada, Paulo

Volltext bestellen

Controlled invariant sets: implicit closed-form representations and applications von Tzanis Anevlavis, Liu, Zexiang, Necmiye Ozay, Tabuada, Paulo

Volltext

Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems von Liu, Zexiang, Tzanis Anevlavis, Necmiye Ozay, Tabuada, Paulo

Volltext