( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Learning Algorithms for Verification of Markov Decision Processes.

, , , , , , , , и . CoRR, (2024)

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.

Izabela Kwiatkowska

Fares Martak

Martarizal

Hans Martan

Thomas Martau

 

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

Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG., и . LOD, том 11331 из Lecture Notes in Computer Science, стр. 1-13. Springer, (2018)Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes., , , , и . IEEE Trans. Autom. Control., 66 (1): 17-32 (2021)Certification of iterative predictions in Bayesian neural networks., , , , , и . UAI, том 161 из Proceedings of Machine Learning Research, стр. 1713-1723. AUAI Press, (2021)Correlated Equilibria and Fairness in Concurrent Stochastic Games., , , и . TACAS (2), том 13244 из Lecture Notes in Computer Science, стр. 60-78. Springer, (2022)Robustness of 3D Deep Learning in an Adversarial Setting., и . CVPR, стр. 11767-11775. Computer Vision Foundation / IEEE, (2019)When are Local Queries Useful for Robust Learning?, , , и . NeurIPS, (2022)Automatic verification of concurrent stochastic systems., , , и . Formal Methods Syst. Des., 58 (1-2): 188-250 (2021)Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits., , и . IJCAI, стр. 4885-4892. ijcai.org, (2022)Provable Guarantees on the Robustness of Decision Rules to Causal Interventions., , и . IJCAI, стр. 4258-4265. ijcai.org, (2021)Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms (Invited Talk).. CSL, том 288 из LIPIcs, стр. 5:1-5:2. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)