( en | de | ru )

 

Disambiguierung von "Giacobbe, Mirco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Counterexample-Guided Refinement of Template Polyhedra.

, , , und . TACAS (1), Volume 10205 von Lecture Notes in Computer Science, Seite 589-606. (2017)

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.

Mirco Wegener

Der Einfluss der konzentrationsinduzierten Marangonikonvektion auf den instationären Impuls- und Stofftransport an Einzeltropfen. TU Berlin, (2009)

Mirco Alpen

Mirco Müller

Mirco Wegener

Mirco Moser

 

Weitere Publikationen von Autoren mit dem selben Namen

Model checking the evolution of gene regulatory networks., , , , , und . Acta Informatica, 54 (8): 765-787 (2017)Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-time Systems., , , , , und . CoRR, (2020)Automated Formal Synthesis of Lyapunov Neural Networks., , , und . CoRR, (2020)Neural termination analysis., , und . ESEC/SIGSOFT FSE, Seite 633-645. ACM, (2022)Verifying Reinforcement Learning up to Infinity., , und . IJCAI, Seite 2154-2160. ijcai.org, (2021)Conic Abstractions for Hybrid Systems., , , und . FORMATS, Volume 10419 von Lecture Notes in Computer Science, Seite 116-132. Springer, (2017)Formal Synthesis of Lyapunov Neural Networks., , , und . IEEE Control. Syst. Lett., 5 (3): 773-778 (2021)Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems., , , , und . CoRR, (2023)Neural Termination Analysis., , und . CoRR, (2021)Continuous-Time Models for System Design and Analysis., , , , und . Computing and Software Science, Volume 10000 von Lecture Notes in Computer Science, Springer, (2019)