Suchergebnisse - "Theory of computation: Models of computation: Timed and hybrid models"

Time for Networks: Mutation Testing for Timed Automata Networks von Cortes, David, Ortiz, James, Basile, Davide, Aranda, Jesus, Perrouin, Gilles, Schobbens, Pierre-Yves

“… Mutation Testing (MT) is a technique employed to assess the efficacy of tests by introducing artificial faults, known as mutations, into the system. The goal …”
Volltext

Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation von Sarwar, Mir Md Sajid, Ray, Rajarshi, Banerjee, Ansuman

“… A recent problem of interest in Explainable AI Planning is that of explaining the unsolvability of planning problems. Though there has been a lot of research …”
Volltext

Controller Verification meets Controller Code: A Case Study von Freiberger, Felix, Schupp, Stefan, Hermanns, Holger, Abraham, Erika

“… Cyber-physical systems are notoriously hard to verify due to the complex interaction between continuous physical behavior and discrete control. A widespread …”
Volltext