49 citations · 73 across the 14 of their papers we have counts for
1 paper · 2 filters
Antonio Anastasio Bruto da Costa, Goran Frehse, Pallab Dasgupta
In current practice a formal analysis of hybrid system models is assertion-based. The work presented here is based on features that look beyond functional correctness toward a quan…