Learning Temporal Causal Sequence Relationships from Real-Time Time-Series
Bruto da Costa, Antonio Anastasio, Dasgupta, Pallab
Published in The Journal of artificial intelligence research (18.01.2021)
Published in The Journal of artificial intelligence research (18.01.2021)
Get full text
Journal Article
AMS-Miner: Mining AMS Assertions Using Interval Arithmetic
Costa, Antonio Anastasio Bruto da, Dharade, Shriya, Mandal, Sudipa, Dasgupta, Pallab
Published in 2018 31st International Conference on VLSI Design and 2018 17th International Conference on Embedded Systems (VLSID) (01.01.2018)
Published in 2018 31st International Conference on VLSI Design and 2018 17th International Conference on Embedded Systems (VLSID) (01.01.2018)
Get full text
Conference Proceeding
Generating AMS Behavioral Models with Formal Guarantees on Feature Accuracy
Da Costa, Antonio Anastasio Bruto, Dasgupta, Pallab
Published in 2017 30th International Conference on VLSI Design and 2017 16th International Conference on Embedded Systems (VLSID) (01.01.2017)
Published in 2017 30th International Conference on VLSI Design and 2017 16th International Conference on Embedded Systems (VLSID) (01.01.2017)
Get full text
Conference Proceeding
Learning Temporal Causal Sequence Relationships from Real-Time Time-Series
Get full text
Paper
Journal Article
Formal Feature Interpretation of Hybrid Systems
Antonio Anastasio Bruto da Costa, Frehse, Goran, Dasgupta, Pallab
Published in arXiv.org (22.02.2019)
Published in arXiv.org (22.02.2019)
Get full text
Paper
Journal Article
Ontology-based Scenario Generation for Automated Driving Systems Verification and Validation using Rules of the Road
da Costa, Antonio Anastasio Bruto, Irvine, Patrick, Zhang, Xizhe, Khastgir, Siddartha, Jennings, Paul
Published in IEEE transactions on intelligent vehicles (2024)
Published in IEEE transactions on intelligent vehicles (2024)
Get full text
Journal Article
Writing Accessible and Correct Test Scenarios for Automated Driving Systems
Bruto Da Costa, Antonio Anastasio, Irvine, Patrick, Zhang, Xizhe, Khastgir, Siddartha, Jennings, Paul
Published in 2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC) (09.10.2022)
Published in 2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC) (09.10.2022)
Get full text
Conference Proceeding
Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET$^{SMT}
da Costa, Antonio Anastasio Bruto, Dasgupta, Pallab, Kekatos, Nikolaos
Year of Publication 30.12.2020
Year of Publication 30.12.2020
Get full text
Journal Article
Recurrence in Dense-time AMS Assertions
Sanyal, Sayandeep, da Costa, Antonio Anastasio Bruto, Dasgupta, Pallab
Year of Publication 17.11.2020
Year of Publication 17.11.2020
Get full text
Journal Article
Explaining Outcomes of Multi-Party Dialogues using Causal Learning
Sinha, Priyanka, Mitra, Pabitra, da Costa, Antonio Anastasio Bruto, Kekatos, Nikolaos
Year of Publication 03.05.2021
Year of Publication 03.05.2021
Get full text
Journal Article
Formal feature analysis of hybrid automata
da Costa, Antonio Anastasio Bruto, Dasgupta, Pallab, Frehse, Goran
Published in 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) (01.11.2016)
Published in 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) (01.11.2016)
Get full text
Conference Proceeding
Recurrence in Dense-time AMS Assertions
Sanyal, Sayandeep, Antonio Anastasio Bruto da Costa, Dasgupta, Pallab
Published in arXiv.org (17.11.2020)
Get full text
Published in arXiv.org (17.11.2020)
Paper