Author of the publication

Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory.

, , and . AAAI, page 1452-1459. AAAI Press, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Resolving the mesoscopic missing link: Biophysical modeling of EEG from cortical columns in primates., , , , , , and . NeuroImage, (2022)Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory., , and . AAAI, page 1452-1459. AAAI Press, (2019)Performance Monitoring during Visual Priming., , , and . J. Cogn. Neurosci., 32 (3): 515-526 (2020)High speed RFID lab-scaled prototype at the frequency of 13.56 MHz., , , , and . Elektrotech. Informationstechnik, 124 (11): 376-383 (2007)Discretization of hybrid CPPS data into timed automaton using restricted Boltzmann machines., , and . Eng. Appl. Artif. Intell., (2020)Big Data and Machine Learning for the Smart Factory---Solutions for Condition Monitoring, Diagnosis and Optimization, , and . Industrial Internet of Things, Springer, Cham, (2017)A Novel Anomaly Detection Algorithm for Hybrid Production Systems based on Deep Learning and Timed Automata., , and . CoRR, (2020)Data-driven Identification of Causal Dependencies in Cyber-Physical Production Systems., , , , and . ICAART (2), page 592-601. SciTePress, (2019)Machine learning for assistance systems: pattern-based approach to online step recognition., , , , , and . INDIN, page 296-302. IEEE, (2019)Kognitive Architektur zum Konzeptlernen in technischen Systemen., , , and . ML4CPS, page 75-85. Springer, (2015)