( en | de | ru )

 

Disambiguierung von "Zuliani, Paolo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Safe Reach Set Computation via Neural Barrier Certificates.

, , , , , und . CoRR, (2024)

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.

Cecilia Zuliani

Giordano Paolo

Paolo Bavaj

Paolo Molteni

Paolo Fornara

 

Weitere Publikationen von Autoren mit dem selben Namen

Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization., , , , , , , , , und . Bioinform., 32 (6): 908-917 (2016)SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems., , , , und . CMSB, Volume 9308 von Lecture Notes in Computer Science, Seite 15-27. Springer, (2015)Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes., , und . MEMOCODE, Seite 1-11. IEEE, (2020)SMT-Based Reasoning for Uncertain Hybrid Domains., und . AAAI Workshop: Planning for Hybrid Systems, Volume WS-16-12 von AAAI Technical Report, AAAI Press, (2016)978-1-57735-759-9.Safe Reach Set Computation via Neural Barrier Certificates., , , , , und . CoRR, (2024)ARCH-COMP23 Category Report: Stochastic Models., , , , , , , , , und 4 andere Autor(en). ARCH, Volume 96 von EPiC Series in Computing, Seite 126-150. EasyChair, (2023)Studies of biological networks with statistical model checking: application to immune system cells., , , und . BCB, Seite 728. ACM, (2013)Individualised computational modelling of immune mediated disease onset, flare and clearance in psoriasis., , , , und . PLoS Comput. Biol., 18 (9): 1010267 (September 2022)Statistical Model Checking for Cyber-Physical Systems., und . ATVA, Volume 6996 von Lecture Notes in Computer Science, Seite 1-12. Springer, (2011)Statistical model checking for biological applications.. Int. J. Softw. Tools Technol. Transf., 17 (4): 527-536 (2015)