Diego A. Velázquez | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Hans van Ditmarsch
24 publications
Armando Castañeda
13 publications
David A. Rosenblueth
6 publications

research

∙ 07/11/2023

Comparing the Update Expressivity of Communication Patterns and Action Models

Any kind of dynamics in dynamic epistemic logic can be represented as an...

0 Armando Castañeda, et al. ∙

research

∙ 07/02/2022

Communication Pattern Logic: Epistemic and Topological Views

We propose communication pattern logic. A communication pattern describe...

0 Armando Castañeda, et al. ∙

research

∙ 06/22/2021

Communication Pattern Models: An Extension of Action Models for Dynamic-Network Distributed Systems

Halpern and Moses were the first to recognize, in 1984, the importance o...

0 Diego A. Velázquez, et al. ∙