IMSc
Video Portal Page
Home
Mathematics
Physics
TCS
Computational Biology
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 © 2023, IMSc.