IMSc
Video Portal Page
Home
Physics
TCS
Others
Login
Photos
You are here
Home
ยป Guillaume Aucher
Guillaume Aucher
On the Complexity of Dynamic Epistemic Logic
Infinite Games in Epistemic Temporal Logic via Supervisory Control Theory
On the Complexity of Dynamic Epistemic Logic
Copyright © 2025, IMSc.
