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.
