63 citations · 135 across the 10 of their papers we have counts for
10 papers
Bridging abstract dialectical argumentation and Boolean gene regulation
Eugenio Azpeitia, Stan Muñoz Gutiérrez, David A. Rosenblueth +1
This paper leans on two similar areas so far detached from each other. On the one hand, Dung's pioneering contributions to abstract argumentation, almost thirty years ago, gave ris…
Comparing the Update Expressivity of Communication Patterns and Action Models
Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth +1
Any kind of dynamics in dynamic epistemic logic can be represented as an action model. Right? Wrong! In this contribution we prove that the update expressivity of communication pat…
Communication Pattern Logic: Epistemic and Topological Views
Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth +1
We propose communication pattern logic. A communication pattern describes how processes or agents inform each other, independently of the information content. The full-information…
Communication Pattern Models: An Extension of Action Models for Dynamic-Network Distributed Systems
Diego A. Velázquez, Armando Castañeda, David A. Rosenblueth
Halpern and Moses were the first to recognize, in 1984, the importance of a formal treatment of knowledge in distributed computing. Many works in distributed computing, however, st…
Marimba: A Tool for Verifying Properties of Hidden Markov Models
Noe Hernandez, Kerstin Eder, Evgeni Magid +2
The formal verification of properties of Hidden Markov Models (HMMs) is highly desirable for gaining confidence in the correctness of the model and the corresponding system. A sign…
Measuring the Complexity of Self-organizing Traffic Lights
Dario Zubillaga, Geovany Cruz, Luis Daniel Aguilar +5
We apply measures of complexity, emergence and self-organization to an abstract city traffic model for comparing a traditional traffic coordination method with a self-organizing me…