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
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…