Bounds on the probability of misclassification among hidden Markov models. - Christoforos Keroglou; Christoforos N. Hadjicostis (CDC/ECC, 2011)

Initial state opacity in stochastic DES. - Christoforos Keroglou; Christoforos N. Hadjicostis (ETFA, 2013)

Distributed diagnosis using predetermined synchronization strategies. - Christoforos Keroglou; Christoforos N. Hadjicostis (CDC, 2014)

Opacity formulations and verification in discrete event systems. - Christoforos N. Hadjicostis; Christoforos Keroglou (ETFA, 2014)

Hidden Markov Model Classification Based on Empirical Frequencies of Observed Symbols. - Christoforos Keroglou; Christoforos N. Hadjicostis (WODES, 2014)

Distributed diagnosis using predetermined synchronization strategies in the presence of communication constraints. - Christoforos Keroglou; Christoforos N. Hadjicostis (CASE, 2015)

Detectability in stochastic discrete event systems. - Christoforos Keroglou; Christoforos N. Hadjicostis (Syst. Control. Lett., 2015)

Verification and synthesis of embedded insertion functions for opacity enforcement. - Christoforos Keroglou; Stéphane Lafortune (CDC, 2017)

Verification of detectability in Probabilistic Finite Automata. - Christoforos Keroglou; Christoforos N. Hadjicostis (Autom., 2017)

Probabilistic system opacity in discrete event systems. - Christoforos Keroglou; Christoforos N. Hadjicostis (Discret. Event Dyn. Syst., 2018)

Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements. - Christoforos Keroglou; Christoforos N. Hadjicostis (IEEE Trans. Autom. Control., 2018)

Revised Test for Stochastic Diagnosability of Discrete-Event Systems. - Jun Chen 002; Christoforos Keroglou; Christoforos N. Hadjicostis; Ratnesh Kumar 001 (IEEE Trans Autom. Sci. Eng., 2018)

Verification of AA-Diagnosability in Probabilistic Finite Automata is PSPACE-Hard. - Christoforos Keroglou; Christoforos N. Hadjicostis (CDC, 2019)

Embedded Insertion Functions for Opacity Enforcement. - Christoforos Keroglou; Stéphane Lafortune (IEEE Trans. Autom. Control., 2021)

Decomposing user-defined tasks in a reinforcement learning setup using TextWorld. - Thanos Petsanis; Christoforos Keroglou; Athanasios Ch. Kapoutsis; Elias B. Kosmatopoulos; Georgios Ch. Sirakoulis (Frontiers Robotics AI, 2023)

Hidden Markov models for presence detection based on CO2 fluctuations. - Christos Karasoulas; Christoforos Keroglou; Eleftheria Katsiri; Georgios Ch. Sirakoulis (Frontiers Robotics AI, 2023)