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
SMT-Based Verification of Safety-Critical Embedded Control Software
Adhikary, Sunandan, Gurung, Amit, Thakkar, Jay, Costa, Antonio Bruto Da, Dey, Soumyajit, Hazra, Aritra, Dasgupta, Pallab
Published in IEEE embedded systems letters (01.09.2021)
Published in IEEE embedded systems letters (01.09.2021)
Get full text
Journal Article
Formal Verification of Power Management Logic with Mixed-Signal Domains
Mandal, Sudipa, Da Costa, Antonio Bruto, Hazra, Aritra, Dasgupta, Pallab, Naware, Bhushan, Chunduri, Rama Mohan, Basu, Sanjib
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
Structured Natural Language for expressing Rules of the Road for Automated Driving Systems
Irvine, Patrick, Da Costa, Antonio A. Bruto, Zhang, Xizhe, Khastgir, Siddartha, Jennings, Paul
Published in 2023 IEEE Intelligent Vehicles Symposium (IV) (04.06.2023)
Published in 2023 IEEE Intelligent Vehicles Symposium (IV) (04.06.2023)
Get full text
Conference Proceeding
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
Domain Knowledge Distillation from Large Language Model: An Empirical Study in the Autonomous Driving Domain
Tang, Yun, Da Costa, Antonio A. Bruto, Zhang, Xizhe, Patrick, Irvine, Khastgir, Siddartha, Jennings, Paul
Published in 2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC) (24.09.2023)
Published in 2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC) (24.09.2023)
Get full text
Conference Proceeding
Learning Temporal Causal Sequence Relationships from Real-Time Time-Series
Get full text
Paper
Journal Article
Augmenting Scenario Description Languages for Intelligence Testing of Automated Driving Systems
Tang, Yun, Bruto Da Costa, Antonio A., Irvine, Patrick, Dodoiu, Tudor, Zhang, Yi, Zhao, Xingyu, Khastgir, Siddartha, Jennings, Paul
Published in 2024 IEEE Intelligent Vehicles Symposium (IV) (02.06.2024)
Published in 2024 IEEE Intelligent Vehicles Symposium (IV) (02.06.2024)
Get full text
Conference Proceeding
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
Vehicle-to-Everything (V2X) in Scenarios: Extending Scenario Description Language for Connected Vehicle Scenario Descriptions
Irvine, Patrick, Baker, Peter, Mo, Yuen Kwan, Da Costa, Antonio Bruto, Zhang, Xizhe, Khastgir, Siddartha, Jennings, Paul
Published in 2022 IEEE Intelligent Vehicles Symposium (IV) (05.06.2022)
Published in 2022 IEEE Intelligent Vehicles Symposium (IV) (05.06.2022)
Get full text
Conference Proceeding
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
Incorporating Human Factors into Scenario Languages for Automated Driving Systems
Dodoiu, Tudor, da Costa, Antonio A. Bruto, Khastgir, Siddartha, Jennings, Paul
Published in 2024 IEEE Intelligent Vehicles Symposium (IV) (02.06.2024)
Published in 2024 IEEE Intelligent Vehicles Symposium (IV) (02.06.2024)
Get full text
Conference Proceeding
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
ODD-based Query-time Scenario Mutation Framework for Autonomous Driving Scenario databases
Tang, Yun, Raj, Dhanush, Zhao, Xingyu, Zhang, Xizhe, Bruto da Costa, Antonio A., Khastgir, Siddartha, Jennings, Paul
Published in 2024 IEEE International Conference on Robotics and Automation (ICRA) (13.05.2024)
Published in 2024 IEEE International Conference on Robotics and Automation (ICRA) (13.05.2024)
Get full text
Conference Proceeding
Domain Knowledge Distillation from Large Language Model: An Empirical Study in the Autonomous Driving Domain
Tang, Yun, da Costa, Antonio A. Bruto, Zhang, Jason, Patrick, Irvine, Khastgir, Siddartha, Jennings, Paul
Year of Publication 17.07.2023
Year of Publication 17.07.2023
Get full text
Journal Article