Search Results - "Theory of computation: Models of computation: Timed and hybrid models"

Time for Networks: Mutation Testing for Timed Automata Networks by 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…”
Get full text

Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation by 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…”
Get full text

Controller Verification meets Controller Code: A Case Study by 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…”
Get full text