September 26th, 2020 |
7:00 am PDT - 8:00 am PDT | Technical Session I |
7:00 am PDT - 7:25 am PDT | Diagnosing Software Faults Using Multiverse Analysis | Rui Abreu |
7:25 am PDT - 7:50 am PDT | Drawing on SFL for Making Intelligent Decisions in RBL | Martin Zimmermann, Ingo Pill and Franz Wotawa |
|
8:00 am PDT - 9:00 am PDT | Invited Talk I |
8:00 am PDT - 8:50 am PDT | Anomaly Detection through Explanations | Leilani Hendrina Gilpin | |
|
9:00 am PDT - 10:00 am PDT | Technical Session II |
9:00 am PDT - 9:25 am PDT | Model-Based Novelty Adaptation for Open-World AI | Matthew Klenk, Wiktor Piotrowski, Roni Stern, Shiwali Mohan and Johan de Kleer |
9:25 am PDT - 9:50 am PDT | Distributed Diagnosis of Multi-Agent Plans | Avraham Natan and Meir Kalech |
|
10:00 am PDT - 11:00 am PDT | Technical Session III |
10:00 am PDT - 10:25 am PDT | Exploring Designite for Smell-Based Defect Prediction | Bruno Sotto-Mayor, Amir Mishali, Meir Kalech and Rui Abreu |
10:25 am PDT - 10:50 am PDT | Java2CSP: A Tool for Compiling Java Programs into Constraints for Automated Fault Localization | Vlad Andrei Dumitru and Franz Wotawa |
September 27th, 2020 |
7:00 am PDT - 8:00 am PDT | Technical Session IV |
7:00 am PDT - 7:18 am PDT | Assessing product quality from the production process health status | Le Toan Duong, Louise Travé-Massuyès, Audine Subias and Nathalie Barbosa Roa |
7:18 am PDT - 7:36 am PDT | Observer-Based Detection of Time Shift Failures in (max,+)-Linear Systems | Claire Paya, Euriell Le Corronc, Yannick Pencolé and Philippe Vialletelle |
7:36 am PDT - 7:54 am PDT | Model Based Diagnosis of Timed Automata with Model Checkers | Zhe Feng and Alban Grastien |
|
8:00 am PDT - 9:00 am PDT | Invited Talk II |
8:00 am PDT - 8:50 am PDT | Domain-Dependent and Domain-Independent Suboptimal Heuristic Search | Roni Stern |
|
9:00 am PDT - 10:00 am PDT | Technical Session V |
9:00 am PDT - 9:25 am PDT | Complementary Meta-Reinforcement Learning for Fault-Adaptive Control | Gautam Biswas, Ibrahim Ahmed and Marcos Quinones |
9:25 am PDT - 9:50 am PDT | Modeling Quantitative Effects for the Reconfiguration of Hybrid Systems | Kaja Balzereit and Oliver Niggemann |
|
10:00 am PDT - 11:00 am PDT | Technical Session VI |
10:00 am PDT - 10:25 am PDT | Computing Multi-Scenario Diagnoses | Ingo Pill and Franz Wotawa |
10:25 am PDT - 10:50 am PDT | Diagnosing Cyber-Physical System with CatIO | Edi Muškardin, Ingo Pill and Franz Wotawa |
|
September 28th, 2020 |
7:00 am PDT - 8:00 am PDT | Technical Session VII |
7:00 am PDT - 7:25 am PDT | The Scheduling Job-Set Optimization Problem: A Model-based Diagnosis Approach | Patrick Rodler and Erich Teppan |
7:25 am PDT - 7:50 am PDT | Dead-End free Single state Multi-Estimators for DES – the 2-Estimator Case | Camille Coquand, Xavier Pucel, Stéphanie Roussel and Louise Travé-Massuyès |
|
8:00 am PDT - 9:00 am PDT | Technical Session VIII |
8:00 am PDT - 8:25 am PDT | Neural-Symbolic Fault Tolerant Control for Quadcopter Trajectory-Following Tasks | Yves Sohege, Marcos Quinones and Gregory Provan |
8:25 am PDT - 8:50 am PDT | On the Diagnosability of Actions Performed by Contemporary Robotic Systems | Alex Mitrevski, Ahmed Faisal Abdelrahman, Anirudh Narasimamurthy and Paul G. Plöger |
|
9:00 am PDT - 10:00 am PDT | Technical Session IX |
9:00 am PDT - 9:18 am PDT | Do We Really Sample Right in Model-Based Diagnosis? | Patrick Rodler and Fatima Elichanova |
9:18 am PDT - 9:36 am PDT | DynamicHS: Optimizing Reiter’s HS-Tree for Sequential Diagnosis | Patrick Rodler |
9:36 am PDT - 9:54 am PDT | Sound, Complete, Linear-Space, Best-First Diagnosis Search | Patrick Rodler |
|
10:00 am PDT - 11:00 am PDT | Business Meeting |