8 citations · 14 across the 3 of their papers we have counts for
3 papers
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…
math.CO1994★ 8 cited
Proving time bounds for randomized distributed algorithms
Nancy Lynch, Isaac Saias, Roberto Segala
A method of analyzing time bounds for randomized distributed algorithms is presented, in the context of a new and general framework for describing and reasoning about randomized al…