3 citations · 7 across the 6 of their papers we have counts for
Showing 2020 · cs.FLShow all
2 papers · 2 filters
cs.FL2020
Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET
Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Nikolaos Kekatos
The analysis and verification of hybrid automata (HA) models against rich formal properties can be a challenging task. Existing methods and tools can mainly reason whether a given…
cs.FL2020
Recurrence in Dense-time AMS Assertions
Sayandeep Sanyal, Antonio Anastasio Bruto da Costa, Pallab Dasgupta
The notion of recurrence over continuous or dense time, as required for expressing Analog and Mixed-Signal (AMS) behaviours, is fundamentally different from what is offered by the…