21 citations · 115 across the 16 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021★ 13 cited
Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification
Toni Mancini, Igor Melatti, Enrico Tronci
Model-based approaches to the verification of non-terminating Cyber-Physical Systems (CPSs) usually rely on numerical simulation of the System Under Verification (SUV) model under…
cs.LO2015
Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification
Javier Esparza, Enrico Tronci
This volume contains the proceedings of the Sixth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2015). The symposium took place in Genoa, Italy…