Title | Authors |
Diagnosing Software Faults Using Multiverse Analysis | Rui Abreu |
Drawing on SFL for Making Intelligent Decisions in RBL | Martin Zimmermann, Ingo Pill and Franz Wotawa |
Model-Based Novelty Adaptation for Open-World AI | Matthew Klenk, Wiktor Piotrowski, Roni Stern, Shiwali Mohan and Johan de Kleer |
Distributed Diagnosis of Multi-Agent Plans | Avraham Natan and Meir Kalech |
Exploring Designite for Smell-Based Defect Prediction | Bruno Sotto-Mayor, Amir Mishali, Meir Kalech and Rui Abreu |
Java2CSP: A Tool for Compiling Java Programs into Constraints for Automated Fault Localization | Vlad Andrei Dumitru and Franz Wotawa |
Assessing product quality from the production process health status | Le Toan Duong, Louise Travé-Massuyès, Audine Subias and Nathalie Barbosa Roa |
Observer-Based Detection of Time Shift Failures in (max,+)-Linear Systems | Claire Paya, Euriell Le Corronc, Yannick Pencolé and Philippe Vialletelle |
Model Based Diagnosis of Timed Automata with Model Checkers | Zhe Feng and Alban Grastien |
Complementary Meta-Reinforcement Learning for Fault-Adaptive Control | Gautam Biswas, Ibrahim Ahmed and Marcos Quinones |
Modeling Quantitative Effects for the Reconfiguration of Hybrid Systems | Kaja Balzereit and Oliver Niggemann |
Computing Multi-Scenario Diagnoses | Ingo Pill and Franz Wotawa |
Diagnosing Cyber-Physical System with CatIO | Edi Muškardin, Ingo Pill and Franz Wotawa |
The Scheduling Job-Set Optimization Problem: A Model-based Diagnosis Approach | Patrick Rodler and Erich Teppan |
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 |
Neural-Symbolic Fault Tolerant Control for Quadcopter Trajectory-Following Tasks | Yves Sohege, Marcos Quinones and Gregory Provan |
On the Diagnosability of Actions Performed by Contemporary Robotic Systems | Alex Mitrevski, Ahmed Faisal Abdelrahman, Anirudh Narasimamurthy and Paul G. Plöger |
Do We Really Sample Right in Model-Based Diagnosis? | Patrick Rodler and Fatima Elichanova |
DynamicHS: Optimizing Reiter’s HS-Tree for Sequential Diagnosis | Patrick Rodler |
Sound, Complete, Linear-Space, Best-First Diagnosis Search | Patrick Rodler |
Waterline Fault Prediction and Maintenance | Ariel Gorenstein and Meir Kalech |