Search Results - "Segala, Roberto"

Observing branching structure through probabilistic contexts.

Authors: Lynch, Nancy Segala, Roberto Vaandrager, Frits

Source: SIAM Journal on Computing; September/December 2007, Vol. 37 Issue 4, p977-1013, 37p

A computable and compositional semantics for hybrid systems.

Authors: Bresolin, Davide Collins, Pieter Geretti, Luca et al.

Source: Information & Computation; Oct2024, Vol. 300, pN.PAG-N.PAG, 1p

EECO: An AI-Based Algorithm for Energy-Efficient Comfort Optimisation.

Authors: Segala, Giacomo Doriguzzi-Corin, Roberto Peroni, Claudio et al.

Source: Energies (19961073). Nov2023, Vol. 16 Issue 21, p7334. 28p.