9 citations · 28 across the 7 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024★ 2 cited
Safe Composition of Systems of Communicating Finite State Machines
Franco Barbanera, Rolf Hennicker
The Participants-as-Interfaces (PaI) approach to system composition suggests that participants of a system may be viewed as interfaces. Given a set of systems,one participant per s…
cs.SE2024
Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs)
Rolf Hennicker, Alexander Knapp, Martin Wirsing
An epistemic ensemble is composed of knowledge-based agents capable of retrieving and sharing knowledge and beliefs about themselves and their peers. These agents access a global k…