R
Roberto Segala
Researcher at University of Verona
Publications - 85
Citations - 5870
Roberto Segala is an academic researcher from University of Verona. The author has contributed to research in topics: Probabilistic logic & Probabilistic automaton. The author has an hindex of 38, co-authored 84 publications receiving 5746 citations. Previous affiliations of Roberto Segala include Massachusetts Institute of Technology & University of Birmingham.
Papers
More filters
Journal Article
Probabilistic simulations for probabilistic processes
Roberto Segala,Nancy Lynch +1 more
TL;DR: The interesting properties of a system are identified with those that are expressible in an untimed version of the Timed Probabilistic concurrent Computation Tree Logic (TPCTL) of Hansson.
Dissertation
Modeling and verification of randomized distributed real-time systems
TL;DR: Theoretical work builds a new mathematical model of randomized distributed computation and develops techniques to prove the correctness of some property by reducing the problem to the verification of properties of non-randomized systems.
Journal ArticleDOI
Hybrid I/O automata
TL;DR: This paper presents the Hybrid Input/Output Automaton (HIOA) modeling framework, a basic mathematical framework to support description and analysis of hybrid systems, and is intended to support analysis methods from both computer science and control theory.
Journal ArticleDOI
Automatic verification of real-time systems with discrete probability distributions
TL;DR: A model for real-time systems augmented with discrete probability distributions based on the timed automata model of Alur and Dill is presented and two approaches to model checking are introduced.
Book ChapterDOI
Hybrid I/O automata
TL;DR: In this paper, the authors propose a hybrid I/O automata model that allows communication among components using both shared variables and shared actions, which is capable of describing both continuous and discrete behavior.