Compositional Synthesis of Finite-State Abstractions

Mallik, Kaushik; Schmuck, Anne-Kathrin; Soudjani, Sadegh; Majumdar, Rupak

doi:10.1109/TAC.2018.2869740

Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben

Zeitschriftenartikel

Compositional Synthesis of Finite-State Abstractions

MPG-Autoren

/persons/resource/persons204254

Mallik, Kaushik
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons188484

Schmuck, Anne-Kathrin
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons144805

Soudjani, Sadegh
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons144534

Majumdar, Rupak
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

Externe Ressourcen

Es sind keine externen Ressourcen hinterlegt

Volltexte (beschränkter Zugriff)

Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.

Volltexte (frei zugänglich)

Es sind keine frei zugänglichen Volltexte in PuRe verfügbar

Ergänzendes Material (frei zugänglich)

Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar

Zitation

Mallik, K., Schmuck, A.-K., Soudjani, S., & Majumdar, R. (2019). Compositional Synthesis of Finite-State Abstractions. IEEE Transactions on Automatic Control, 64(6), 2629-2636. doi:10.1109/TAC.2018.2869740.

Zitierlink: https://hdl.handle.net/21.11116/0000-0005-D4EB-3

Zusammenfassung

Es ist keine Zusammenfassung verfügbar