Scenic: a language for scenario specification and data generation
Fremont, Daniel J., Kim, Edward, Dreossi, Tommaso, Ghosh, Shromona, Yue, Xiangyu, Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A.
Published in Machine learning (01.10.2023)
Published in Machine learning (01.10.2023)
Get full text
Journal Article
Guest Editorial: Special issue on robust machine learning
Senanayake, Ransalu, Fremont, Daniel J., Kochenderfer, Mykel J., Lomuscio, Alessio R., Margineantu, Dragos, Ong, Cheng Soon
Published in Machine learning (01.08.2023)
Published in Machine learning (01.08.2023)
Get full text
Journal Article
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World
Fremont, Daniel J., Kim, Edward, Pant, Yash Vardhan, Seshia, Sanjit A., Acharya, Atul, Bruso, Xantha, Wells, Paul, Lemke, Steve, Lu, Qiang, Mehta, Shalin
Published in 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC) (20.09.2020)
Published in 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC) (20.09.2020)
Get full text
Conference Proceeding
Addressing the IEEE AV Test Challenge with Scenic and VerifAI
Viswanadha, Kesav, Indaheng, Francis, Wong, Justin, Kim, Edward, Kalvan, Ellen, Pant, Yash, Fremont, Daniel J., Seshia, Sanjit A.
Published in 2021 IEEE International Conference on Artificial Intelligence Testing (AITest) (01.08.2021)
Published in 2021 IEEE International Conference on Artificial Intelligence Testing (AITest) (01.08.2021)
Get full text
Conference Proceeding
Fuzzing Malicious Driving Behavior to find Vulnerabilities in Collision Avoidance Systems
Salgado, Ivan F., Quijano, Nicanor, Fremont, Daniel J., Cardenas, Alvaro A.
Published in 2022 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) (01.06.2022)
Published in 2022 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) (01.06.2022)
Get full text
Conference Proceeding
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation
Kim, Edward, Shenoy, Jay, Junges, Sebastian, Fremont, Daniel J., Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A.
Published in 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS) (01.05.2022)
Published in 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS) (01.05.2022)
Get full text
Conference Proceeding
Control Improvisation with Probabilistic Temporal Specifications
Akkaya, Ilge, Fremont, Daniel J., Valle, Rafael, Donze, Alexandre, Lee, Edward A., Seshia, Sanjit A.
Published in 2016 IEEE First International Conference on Internet-of-Things Design and Implementation (IoTDI) (01.04.2016)
Published in 2016 IEEE First International Conference on Internet-of-Things Design and Implementation (IoTDI) (01.04.2016)
Get full text
Conference Proceeding
Safety in Autonomous Driving: Can Tools Offer Guarantees?
Fremont, Daniel J., Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A.
Published in 2021 58th ACM/IEEE Design Automation Conference (DAC) (05.12.2021)
Published in 2021 58th ACM/IEEE Design Automation Conference (DAC) (05.12.2021)
Get full text
Conference Proceeding
Entropy-Guided Control Improvisation
Vazquez-Chanlatte, Marcell, Junges, Sebastian, Fremont, Daniel J, Seshia, Sanjit
Year of Publication 09.03.2021
Year of Publication 09.03.2021
Get full text
Journal Article
A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation
Indaheng, Francis, Kim, Edward, Viswanadha, Kesav, Shenoy, Jay, Kim, Jinkyu, Fremont, Daniel J, Seshia, Sanjit A
Year of Publication 27.10.2021
Year of Publication 27.10.2021
Get full text
Journal Article
3D Environment Modeling for Falsification and Beyond with Scenic 3.0
Vin, Eric, Kashiwa, Shun, Rhea, Matthew, Fremont, Daniel J, Kim, Edward, Dreossi, Tommaso, Ghosh, Shromona, Yue, Xiangyu, Sangiovanni-Vincentelli, Alberto L, Seshia, Sanjit A
Year of Publication 06.07.2023
Year of Publication 06.07.2023
Get full text
Journal Article
Parallel and Multi-Objective Falsification with Scenic and VerifAI
Viswanadha, Kesav, Kim, Edward, Indaheng, Francis, Fremont, Daniel J, Seshia, Sanjit A
Year of Publication 08.07.2021
Year of Publication 08.07.2021
Get full text
Journal Article
Addressing the IEEE AV Test Challenge with Scenic and VerifAI
Viswanadha, Kesav, Indaheng, Francis, Wong, Justin, Kim, Edward, Kalvan, Ellen, Pant, Yash, Fremont, Daniel J, Seshia, Sanjit A
Year of Publication 20.08.2021
Year of Publication 20.08.2021
Get full text
Journal Article