( 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 Ravanelli

 

Weitere Publikationen von Autoren mit dem selben Namen

Automated Formal Synthesis of Lyapunov Neural Networks., , , und . CoRR, (2020)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)Neural termination analysis., , und . ESEC/SIGSOFT FSE, Seite 633-645. ACM, (2022)Stochastic Omega-Regular Verification and Control with Supermartingales., , und . CAV (3), Volume 14683 von Lecture Notes in Computer Science, Seite 395-419. Springer, (2024)Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems., , , , und . CoRR, (2023)A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks., , , , und . OVERLAY@GandALF, Volume 2987 von CEUR Workshop Proceedings, Seite 73-75. CEUR-WS.org, (2021)Neural Abstractions., , und . NeurIPS, (2022)How Many Bits Does it Take to Quantize Your Neural Network?, , und . TACAS (2), Volume 12079 von Lecture Notes in Computer Science, Seite 79-97. Springer, (2020)Neural Abstractions., , und . CoRR, (2023)