From post

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.

 

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

Full version: An evaluation of estimation techniques for probabilistic reachability., и . CoRR, (2018)SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems., , , , и . CMSB, том 9308 из Lecture Notes in Computer Science, стр. 15-27. Springer, (2015)Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization., , , , , , , , , и . Bioinform., 32 (6): 908-917 (2016)Predicting partner fitness based on spatial structuring in a light-driven microbial community., , , , , , и . PLoS Comput. Biol., (2023)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)Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer., , , , и . BICoB, стр. 245-. ISCA, (2011)A pilot project in PAs to transit to an open source solution., , , , и . DG.O, том 89 из ACM International Conference Proceeding Series, стр. 303-304. Digital Government Research Center, (2005)Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems., , , , , , и . IEEE Access, (2020)