Edward Kim
Affiliations:- University of California, Berkeley, CA, USA
According to our database1,
Edward Kim
authored at least 18 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Runtime Verification - 24th International Conference, 2024
2023
Mach. Learn., October, 2023
PhD thesis, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
2022
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022
Programmatic Modeling and Generation of Real-Time Strategic Soccer Environments for Reinforcement Learning.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation.
CoRR, 2021
Scenic4RL: Programmatic Modeling and Generation of Reinforcement Learning Environments.
CoRR, 2021
Proceedings of the Runtime Verification - 21st International Conference, 2021
Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021
2020
A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving.
CoRR, 2020
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020
A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors.
Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020
2019
A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors.
CoRR, 2019
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems.
CoRR, 2019
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2018
Proceedings of the Automated Technology for Verification and Analysis, 2018