Invited Talk – Clare Dixon – Verifying Autonomous Robots: Challenges and Reflections time2020 invitedtalk 159 views You may also like 1:06:16 Invited Talk – Pedro Cablar – Temporal Modalities in Answer Set Programming 130 views time2020 invitedtalk 20:06 Negotiating Temporal Commitments inCross-Organizational Business Processes. By Marco Franceschetti 217 views time2020 contributedtalk 16:17 TESL: a Model with Metric Time for Modelingand Simulation. By Hai Nguyen Van 168 views time2020 contributedtalk 19:46 Recursive Temporal Logic. By Martin Lange 534 views time2020 contributedtalk 18:20 Parametric Model Checking Continuous-Time Markov Chains. By Catalin-Andrei Ilie 280 views time2020 contributedtalk 20:05 Complexity of qualitative timeline-based planning. By Nicola Gigante 241 views time2020 contributedtalk 58:54 Invited Talk – Johann Eder – Time and Business Process Management: Problems, Achievements, Challenges 122 views time2020 invitedtalk 15:30 On the Decidability of a Fragment of Preferential LTL. By Anasse Chafik 245 views time2020 contributedtalk 21:41 Knowledge Extraction with Interval Temporal Logic Decision Trees, By Ionel Eduard Stan 316 views time2020 contributedtalk 21:08 Mining Significant Temporal Networks is Polynomial. By Matteo Zavatteri 338 views time2020 contributedtalk «1…4567»Page 6 of 7
