Autor der Publikation

AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems.

, , , und . HSCC, Seite 31:1-31:2. ACM, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Synthesis of Controllers for Uncertain Linear Systems Against -Regular Properties: A Set-Based Approach., , und . IEEE Trans. Autom. Control., 69 (1): 214-229 (Januar 2024)Data-Driven Synthesis of Safety Controllers for Partially-Observable Systems with Unknown Models., und . CDC, Seite 1052-1057. IEEE, (2023)Construction of continuous abstractions for discrete-time time-delay systems., , , , und . CDC, Seite 881-886. IEEE, (2020)k-Inductive Barrier Certificates for Stochastic Systems., , , und . HSCC, Seite 12:1-12:11. ACM, (2022)Compositional construction of abstractions via relaxed small-gain conditions Part I: continuous case., , und . ECC, Seite 76-81. IEEE, (2018)Compositional construction of abstractions via relaxed small-gain conditions Part II: discrete case., , , und . ECC, Seite 1-4. IEEE, (2018)Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations., , , und . CDC, Seite 7653-7658. IEEE, (2019)dtControl: Decision Tree Learning Algorithms for Controller Representation., , , , , und . CoRR, (2020)Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes., , und . CDC, Seite 3699-3704. IEEE, (2020)Data-Driven Controlled Invariant Sets for Gaussian Process State Space Models., , , , und . CoRR, (2024)