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

Tagir Fabarisov, Maxime Cordy

Design-space exploration of configurable Cyber-Physical Systems (CPS) requires executable evaluation when design choices affect timing, fault propagation, recovery behavior, and te…