About Us
Research
People
Publications
Articles
Books
Books Chapters
Editorials
In Proceedings
Projects
Activities
Graduations
Seminars
Distinguished Lectures
Society
Login
About Us
Research
People
Publications
Articles
Books
Books Chapters
Editorials
In Proceedings
Projects
Activities
Graduations
Seminars
Distinguished Lectures
Society
in_proceedings
Detail
Publication date: 24 de July, 2024
Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems
Share
Pub. Date
14/08/2019