Author of the publication

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

, , , and . HSCC, page 31:1-31:2. ACM, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions., and . CDC, page 2574-2579. IEEE, (2019)Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations., , , and . CDC, page 7653-7658. IEEE, (2019)Compositional construction of abstractions via relaxed small-gain conditions Part I: continuous case., , and . ECC, page 76-81. IEEE, (2018)Compositional construction of abstractions via relaxed small-gain conditions Part II: discrete case., , , and . ECC, page 1-4. IEEE, (2018)Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics*., , and . CDC, page 7296-7301. IEEE, (2022)Data-Driven Synthesis of Safety Controllers for Partially-Observable Systems with Unknown Models., and . CDC, page 1052-1057. IEEE, (2023)Construction of continuous abstractions for discrete-time time-delay systems., , , , and . CDC, page 881-886. IEEE, (2020)k-Inductive Barrier Certificates for Stochastic Systems., , , and . HSCC, page 12:1-12:11. ACM, (2022)AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems., , , and . HSCC, page 31:1-31:2. ACM, (2020)dtControl: Decision Tree Learning Algorithms for Controller Representation., , , , , and . CoRR, (2020)