Maxime Cordy

Temporal Property-driven Design Space Exploration with Reinforcement Learning for Cyber-Physical Systems

Design-space exploration of configurable Cyber-Physical Systems (CPS) requires executable evaluation when design choices affect timing, fault propagation, recovery behavior, and temporal-property satisfaction. Repeated stochastic executions make exhaustive exploration impractical for large design spaces. This paper pre...