Antonio Anastasio Bruto da Costa

activity

20192026

most citedLearning Temporal Causal Sequence Relationships from Real-Time Time-Series

3 citations · 5 across the 3 of their papers we have counts for

collaborators

Showing cs.FLShow all

1 paper · 1 filter

cs.FL2020

Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET $^{S M T}$

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…

Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFETSMT

Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET $^{S M T}$