A Timed Obstruction Logic for Dynamic Game Models

David Cortes, Jean Leneutre, Vadim Malvone +1

Real-time cybersecurity and privacy applications require reliable verification methods and system design tools to ensure their correctness. Many of these reactive real-time applica…