Similar Items: A Scalable Game-Theoretic Approach for Selecting Security Controls from Standardized Catalogues
- On (Subgame Perfect) Secure Equilibrium in Quantitative Reachability Games
- Multi-Agent Reinforcement Learning for Scalable Multi-Objective Secure and Economic Operation of Flexible Distribution Networks With Congestion Mitigation
- Controller Synthesis for Timeline-based Games
- Implicit security requirements classification with large language models using the OWASP application security verification standard: a shift-left approach
- Offline and Online Use of Interval and Set-Based Approaches for Control and State Estimation: A Selection of Methodological Approaches and Their Application
- A Scalable Algorithm for Decentralized Actor Termination Detection