2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.LO2025
An Adequate While-Language for Stochastic Hybrid Computation
Renato Neves, José Proença, Juliana Souza
We introduce a language for formally reasoning about programs that combine differential constructs with probabilistic ones. The language harbours, for example, such systems as adap…
eess.SY2024★ 2 cited
Formal Simulation and Visualisation of Hybrid Programs
Pedro Mendes, Ricardo Correia, Renato Neves +1
The design and analysis of systems that combine computational behaviour with physical processes' continuous dynamics - such as movement, velocity, and voltage - is a famous, challe…