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

Paolo Bavaj

Paolo Fornara

 

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

Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization., , , , , , , , , и . Bioinform., 32 (6): 908-917 (2016)SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems., , , , и . CMSB, том 9308 из Lecture Notes in Computer Science, стр. 15-27. Springer, (2015)Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes., , и . MEMOCODE, стр. 1-11. IEEE, (2020)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.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)Statistical Model Checking for Cyber-Physical Systems., и . ATVA, том 6996 из Lecture Notes in Computer Science, стр. 1-12. Springer, (2011)Studies of biological networks with statistical model checking: application to immune system cells., , , и . BCB, стр. 728. ACM, (2013)Statistical Verification of Probabilistic Properties with Unbounded Until., , и . SBMF, том 6527 из Lecture Notes in Computer Science, стр. 144-160. Springer, (2010)A Formal Derivation of Grover's Quantum Search Algorithm.. TASE, стр. 67-74. IEEE Computer Society, (2007)