8 citations · 14 across the 3 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2013★ 3 cited
World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems
Marta Capiluppi, Roberto Segala
We propose an extension of Hybrid I/O Automata (HIOAs) to model agent systems and their implicit communication through perturbation of the environment, like localization of objects…
cs.FL2012★ 3 cited
Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata
Marta Capiluppi, Roberto Segala
We propose an extension of Hybrid I/O Automata (HIOAs) to model agent systems and their implicit communication through perturbation of the environment, like localization of objects…