63 citations · 135 across the 10 of their papers we have counts for
4 papers · 1 filter
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 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…