Zobrazeno 1 - 10
of 156
pro vyhledávání: '"Segala, Roberto"'
Autor:
Bresolin, Davide, Collins, Pieter, Geretti, Luca, Segala, Roberto, Villa, Tiziano, Živanović Gonzalez, Sanja
Publikováno v:
In Information and Computation October 2024 300
Autor:
Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto
In the Probabilistic I/O Automata (PIOA) framework, nondeterministicchoices are resolved using perfect-information schedulers,which are similar to history-dependent policies for Markov decision processes(MDPs). These schedulers are too powerful in th
Externí odkaz:
http://hdl.handle.net/1721.1/32525
Autor:
Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto
The Probabilistic I/O Automata framework of Lynch, Segala and Vaandrager provides tools for precisely specifying protocols and reasoning about their correctness using multiple levels of abstraction, based on implementation relationships between these
Externí odkaz:
http://hdl.handle.net/1721.1/31310
Autor:
Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Olivier, Segala, Roberto
We demonstrate how to carry out cryptographic security analysis ofdistributed protocols within the Probabilistic I/O Automata frameworkof Lynch, Segala, and Vaandrager.This framework provides tools for arguing rigorously about theconcurrency and sche
Externí odkaz:
http://hdl.handle.net/1721.1/30566
This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed systems.
Externí odkaz:
http://hdl.handle.net/1721.1/30407
Revised version -- November 23, 2004.This paper presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed systems.
Externí odkaz:
http://hdl.handle.net/1721.1/30403
Autor:
Capiluppi, Marta, Segala, Roberto
Publikováno v:
EPTCS 124, 2013, pp. 58-72
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 or radio signals diffusion and detection. The new object, called Worl
Externí odkaz:
http://arxiv.org/abs/1308.5335
Autor:
Capiluppi, Marta, Segala, Roberto
Publikováno v:
EPTCS 96, 2012, pp. 1-14
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 or radio signals diffusion and detection. To this end we decided to s
Externí odkaz:
http://arxiv.org/abs/1210.2448
Autor:
Segala, Roberto
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1995.
Includes bibliographical references (p. 267-274) and index.
by Roberto Segala.
Ph.D.
Includes bibliographical references (p. 267-274) and index.
by Roberto Segala.
Ph.D.
Externí odkaz:
http://hdl.handle.net/1721.1/36560
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 algorithms. The method consists of proving auxiliary statements of the f
Externí odkaz:
http://arxiv.org/abs/math/9409221