Parametric Model Checking Continuous-Time Markov Chains. By Catalin-Andrei Ilie time2020 contributedtalk 280 views You may also like 11:33 FOUST IV -Adrien Barton, Fumiaki Toyoshima, and Jean-Francois Ethier – Approaching Roles with Affordances 4 views foust2020 contributedtalk 20:20 FOUST IV – Massimiliano Carrara and Ciro De Florio – Refining OntoClean. Identity Criteria and Grounding 7 views foust2020 contributedtalk 12:51 FOUST IV – Fabian Neuhaus, Oliver Kutz, and Guendalina Righetti – Free Description Logic for Ontologists 13 views foust2020 contributedtalk 09:18 FOUST IV – Riccardo Baratella – Critical Discussion of Zhou’s “What the progressive aspect tells us about processes” 4 views foust2020 contributedtalk 10:46 FOUST IV – Riccardo Baratella – What are we debating about when we debate about processes and events? 8 views foust2020 contributedtalk 13:27 FOUST IV – Patryk Burek, Heinrich Herre, and Nico Scherf – On the Ontological Foundations of Cellular Development 0 views foust2020 contributedtalk 12:38 FOUST IV – Riichiro Mizoguchi – Causation: revisited 6 views foust2020 contributedtalk 11:39 Equity in learning problems: an OWA approach-Juliette Ortholand, Sébastien Destercke and Khaled Belahcene 249 views sum2020 contributedtalk 26:07 Computable randomness is about more than probabilities- Floris Persiau, Jasper De Bock and Gert de Cooman 482 views sum2020 contributedtalk 17:35 Dealing with atypical instances in evidential decision-making-Benjamin Quost, Marie-Hélène Masson and Sébastien Destercke 207 views sum2020 contributedtalk «1…678910…13»Page 8 of 13
