( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ARCH-COMP21 Category Report: Stochastic Models.

, , , , , , , , , , , , , , , , , , , и . ARCH@ADHS, том 80 из EPiC Series in Computing, стр. 55-89. EasyChair, (2021)

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)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.Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization., , , , , , , , , и . Bioinform., 32 (6): 908-917 (2016)ARCH-COMP23 Category Report: Stochastic Models., , , , , , , , , и 4 other автор(ы). ARCH, том 96 из EPiC Series in Computing, стр. 126-150. EasyChair, (2023)Safe Reach Set Computation via Neural Barrier Certificates., , , , , и . CoRR, (2024)Verification of Quantum Circuits through Discrete-Time Barrier Certificates., , и . 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., , и . SBMF, том 6527 из Lecture Notes in Computer Science, стр. 144-160. Springer, (2010)Individualised computational modelling of immune mediated disease onset, flare and clearance in psoriasis., , , , и . PLoS Comput. Biol., 18 (9): 1010267 (сентября 2022)