( en | de | ru )

 

Disambiguierung von "Zuliani, Paolo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Barrier Certificates for a Computational Model of Epileptic Seizures.

, , , und . SMC, Seite 4728-4733. IEEE, (2023)

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 Molteni

Paolo Bavaj

Paolo Fornara

 

Weitere Publikationen von Autoren mit dem selben Namen

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.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)Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization., , , , , , , , , und . Bioinform., 32 (6): 908-917 (2016)Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes., , und . MEMOCODE, Seite 1-11. IEEE, (2020)ARCH-COMP23 Category Report: Stochastic Models., , , , , , , , , und 4 andere Autor(en). ARCH, Volume 96 von EPiC Series in Computing, Seite 126-150. EasyChair, (2023)Safe Reach Set Computation via Neural Barrier Certificates., , , , , und . CoRR, (2024)Verification of Quantum Circuits through Discrete-Time Barrier Certificates., , und . CoRR, (2024)Statistical model checking for biological applications.. Int. J. Softw. Tools Technol. Transf., 17 (4): 527-536 (2015)Statistical Verification of Probabilistic Properties with Unbounded Until., , und . SBMF, Volume 6527 von Lecture Notes in Computer Science, Seite 144-160. Springer, (2010)Barrier Certificates for a Computational Model of Epileptic Seizures., , , und . SMC, Seite 4728-4733. IEEE, (2023)