Shapagat Bolat

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Real Time Control

Information Systems

Top Venues

Publications

Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho
strategFTO: Untimed control for timed opacity. CoRR (2022)
Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho
strategFTO: Untimed Control for Timed Opacity. FTSCS (2022)