Christoforos Keroglou

18 papers C 2Journal 8Unranked 8
YearRankTypeTitle / Venue / Authors
2023 J jnl
Decomposing user-defined tasks in a reinforcement learning setup using TextWorld.
Frontiers Robotics AI
Thanos Petsanis, Christoforos Keroglou, Athanasios Ch. Kapoutsis, Elias B. Kosmatopoulos, Georgios Ch. Sirakoulis
2023 J jnl
Hidden Markov models for presence detection based on CO2 fluctuations.
Frontiers Robotics AI
Christos Karasoulas, Christoforos Keroglou, Eleftheria Katsiri, Georgios Ch. Sirakoulis
2021 J jnl
Embedded Insertion Functions for Opacity Enforcement.
IEEE Trans. Autom. Control.
Christoforos Keroglou, Stéphane Lafortune
2019 — conf
Verification of AA-Diagnosability in Probabilistic Finite Automata is PSPACE-Hard.
CDC
Christoforos Keroglou, Christoforos N. Hadjicostis
2018 J jnl
Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements.
IEEE Trans. Autom. Control.
Christoforos Keroglou, Christoforos N. Hadjicostis
2018 J jnl
Probabilistic system opacity in discrete event systems.
Discret. Event Dyn. Syst.
Christoforos Keroglou, Christoforos N. Hadjicostis
2018 J jnl
Revised Test for Stochastic Diagnosability of Discrete-Event Systems.
IEEE Trans Autom. Sci. Eng.
Jun Chen, Christoforos Keroglou, Christoforos N. Hadjicostis, Ratnesh Kumar
2017 — conf
Verification and synthesis of embedded insertion functions for opacity enforcement.
CDC
Christoforos Keroglou, Stéphane Lafortune
2017 J jnl
Verification of detectability in Probabilistic Finite Automata.
Autom.
Christoforos Keroglou, Christoforos N. Hadjicostis
2016 — conf
Probabilistic system opacity in discrete event systems.
WODES
Christoforos Keroglou, Christoforos N. Hadjicostis
2015 J jnl
Detectability in stochastic discrete event systems.
Syst. Control. Lett.
Christoforos Keroglou, Christoforos N. Hadjicostis
2015 — conf
Distributed diagnosis using predetermined synchronization strategies in the presence of communication constraints.
CASE
Christoforos Keroglou, Christoforos N. Hadjicostis
2014 — conf
Detectability in Stochastic Discrete Event Systems.
WODES
Christoforos Keroglou, Christoforos N. Hadjicostis
2014 — conf
Distributed diagnosis using predetermined synchronization strategies.
CDC
Christoforos Keroglou, Christoforos N. Hadjicostis
2014 — conf
Hidden Markov Model Classification Based on Empirical Frequencies of Observed Symbols.
WODES
Christoforos Keroglou, Christoforos N. Hadjicostis
2014 C conf
Opacity formulations and verification in discrete event systems.
ETFA
Christoforos N. Hadjicostis, Christoforos Keroglou
2013 C conf
Initial state opacity in stochastic DES.
ETFA
Christoforos Keroglou, Christoforos N. Hadjicostis
2011 — conf
Bounds on the probability of misclassification among hidden Markov models.
CDC/ECC
Christoforos Keroglou, Christoforos N. Hadjicostis