Parametric Model Checking Continuous-Time Markov Chains. By Catalin-Andrei Ilie time2020 contributedtalk 280 views You may also like 14:53 Undecided Voters as Set-Valued Information – An Epistemic Approach to Election Forecasting-Dominik Kreiss and Thomas Augustin 248 views sum2020 contributedtalk 20:10 Belief functions for safety arguments confidence estimation: A comparative study-Yassir Idmessaoud, Didier Dubois and Jérémie Guiochet 242 views sum2020 contributedtalk 20:51 When nominal analogical proportions do not fail- Miguel Couceiro, Erkko Lehtonen, Laurent Miclet, Henri Prade and Gilles Richard 199 views sum2020 contributedtalk 13:29 A Symbolic Approach for Counterfactual Explanations-Ryma Boumazouza, Fahima Cheikh-Alili, Bertrand Mazure and Karim Tabia 300 views sum2020 contributedtalk 13:18 Evidence Theory based Combination of Frequent Chronicles for Failure Prediction-Achraf Ben Chrayet, Ahmed Samet and Mohamed Anis Bach Tobji 254 views sum2020 contributedtalk 13:10 Modelling Multivariate Ranking Functions with Min-Sum Networks-Xiaoting Shao, Arseny Skryagin, Zhongjie Yu, Tjitze Rienstra, Matthias Thimm and Kristian Kersting 291 views sum2020 contributedtalk 23:40 Inference of imprecise Plackett–Luce models: application to label ranking-Loïc Adam, Arthur Van Camp, Sébastien Destercke and Benjamin Quost 290 views sum2020 contributedtalk 10:50 Inference with Choice Functions Made Practical-Arne Decadt, Jasper De Bock and Gert de Cooman 226 views sum2020 contributedtalk 26:36 Logic, Probability and Action: A Situation Calculus Perspective-Vaishak Belle 333 views sum2020 contributedtalk 14:45 Rule-Based Classification for Evidential Data-Nassim Bahri, Mohamed Anis Bach Tobji and Boutheina Ben Yaghlane 260 views sum2020 contributedtalk «1…7891011…13»Page 9 of 13
