( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SMT-Based Reasoning for Uncertain Hybrid Domains.

, и . AAAI Workshop: Planning for Hybrid Systems, том WS-16-12 из AAAI Technical Report, AAAI Press, (2016)978-1-57735-759-9.

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.

Cecilia Zuliani

Giordano Paolo

Paolo Bavaj

Paolo Fornara

Paolo Pesaresi

 

Другие публикации лиц с тем же именем

SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems., , , , и . CMSB, том 9308 из Lecture Notes in Computer Science, стр. 15-27. Springer, (2015)SMT-Based Reasoning for Uncertain Hybrid Domains., и . AAAI Workshop: Planning for Hybrid Systems, том WS-16-12 из AAAI Technical Report, AAAI Press, (2016)978-1-57735-759-9.Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization., , , , , , , , , и . Bioinform., 32 (6): 908-917 (2016)Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes., , и . MEMOCODE, стр. 1-11. IEEE, (2020)Safe Reach Set Computation via Neural Barrier Certificates., , , , , и . CoRR, (2024)ARCH-COMP23 Category Report: Stochastic Models., , , , , , , , , и 4 other автор(ы). ARCH, том 96 из EPiC Series in Computing, стр. 126-150. EasyChair, (2023)Verification of Quantum Circuits through Discrete-Time Barrier Certificates., , и . CoRR, (2024)Studies of biological networks with statistical model checking: application to immune system cells., , , и . BCB, стр. 728. ACM, (2013)Statistical Model Checking for Cyber-Physical Systems., и . ATVA, том 6996 из Lecture Notes in Computer Science, стр. 1-12. Springer, (2011)Statistical model checking for biological applications.. Int. J. Softw. Tools Technol. Transf., 17 (4): 527-536 (2015)