Sol Zilberman

According to our database, Sol Zilberman authored at least 5 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

SavviDriver: model-based framework for game-based testing of autonomous vehicles in diverse multi-agent traffic scenarios.

Kenneth H. Chan, Sol Zilberman, Betty H. C. Cheng

Softw. Syst. Model., February, 2026

2025

PRoBIFy: Formal-based Probabilistic Behavior Modeling for Verification of Autonomous Vehicles.

Sol Zilberman, Betty H. C. Cheng

Proceedings of the 28th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2025

2024

Anunnaki: A Modular Framework for Developing Trusted Artificial Intelligence.

Michael Austin Langford, Sol Zilberman, Betty H. C. Cheng

ACM Trans. Auton. Adapt. Syst., September, 2024

SafeDriveRL: Combining Non-cooperative Game Theory with Reinforcement Learning to Explore and Mitigate Human-based Uncertainty for Autonomous Vehicles.

Kenneth H. Chan, Sol Zilberman, Nick Polanco, Joshua E. Siegel, Betty H. C. Cheng

Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2024

"No Free Lunch" when using Large Language Models to Verify Self-Generated Programs.

Sol Zilberman, Betty H. C. Cheng

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 2024