11 papers
Functional requirements decomposition in set-based design
Minghui Sun, Zhaoyang Chen, Georgios Bakirtzis +2
Designing systems is typically uncertain and ambiguous at early stages. Set-based design supports alternative exploration and gradual uncertainty reduction during the early lifecyc…
Controllability in preference-conditioned multi-objective reinforcement learning
Pau de las Heras Molins, Beyazit Yalcinkaya, Lasse Peters +2
Multi-objective reinforcement learning (MORL) allows a user to express preference over outcomes in terms of the relative importance of the objectives, but standard metrics cannot c…
Breaking Exponential Complexity in Games of Ordered Preference: A Tractable Reformulation
Dong Ho Lee, Jingqi Li, Lasse Peters +2
Games of ordered preference (GOOPs) model multi-player equilibrium problems in which each player maintains a distinct hierarchy of strictly prioritized objectives. Existing approac…
Mission Aware Cyber-physical Security
Georgios Bakirtzis, Bryan T. Carter, Cody H. Fleming +1
Perimeter cybersecurity, while essential, has proven insufficient against sophisticated, coordinated, and cyber-physical attacks. In contrast, mission-centric cybersecurity emphasi…
Compositional shield synthesis for safe reinforcement learning in partial observability
Steven Carr, Georgios Bakirtzis, Ufuk Topcu
Agents controlled by the output of reinforcement learning (RL) algorithms often transition to unsafe states, particularly in uncertain and partially observable environments. Partia…
Categorical semantics of compositional reinforcement learning
Georgios Bakirtzis, Michail Savvas, Ufuk Topcu
Compositional knowledge representations in reinforcement learning (RL) facilitate modular, interpretable, and safe task specifications. However, generating compositional models req…