Articles with public access mandates - João G. MartinsLearn more
Available somewhere: 2
A sound calculus for a logic of belief-aware cyber-physical systems
JG Martins, A Platzer, J Leite
Tech. Rep. CMU-CS-19-116, School of Computer Science, Carnegie Mellon …, 2019
Mandates: US National Science Foundation
Dynamic doxastic differential dynamic logic for belief-aware cyber-physical systems
JG Martins, A Platzer, J Leite
Automated Reasoning with Analytic Tableaux and Related Methods: 28th …, 2019
Mandates: US National Science Foundation
Publication and funding information is determined automatically by a computer program