1
TITLE: An Adequate While-Language for Stochastic Hybrid Computation
AUTHORS: Renato Neves; José Proença; Juliana Souza;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.15913
INDEXED IN: DBLP
IN MY: DBLP
2
TITLE: Formal Simulation and Visualisation of Hybrid Programs An Extension of a Proof-of-Concept Tool  Full Text
AUTHORS: Mendes, Pedro; Correia, Ricardo; Neves, Renato; Proenca, Jose;
PUBLISHED: 2024, SOURCE: 6th International Workshop on Formal Methods for Autonomous Systems (FMAS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 411
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: DBLP