Sol Zilberman

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

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

Software and Systems Modeling, (Springer), 2026

[Paper]

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

Sol Zilberman, and Betty H.C. Cheng

2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), (IEEE), 2025

[Paper]

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

Sol Zilberman, and Betty H.C. Cheng

4th International Workshop on Artificial Intelligence in Software Testing, AIST 2024, Toronto, Canada, May 28, 2024, (IEEE), May 2024

[Paper]

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

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

19th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2024, Lisbon, Portugal, April 15-16, 2024, (ACM), April 2024

[Paper]

Anunnaki: A Modular Framework for Developing Trusted Artificial Intelligence

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

ACM Transactions on Autonomous and Adaptive Systems, (ACM), March 2024

[Paper]