Scenic: a language for scenario specification and scene generation

• CARLOS: An Open, Modular, and Scalable Simulation Framework for the Development and Testing of Software for C-ITS

  2024 IEEE Intelligent Vehicles Symposium conference-paper Engineering Autonomous Vehicle Technology and Safety cited by 1 patent

  6

  citations
• Finding Needles in Haystack: Formal Generative Models for Efficient Massive Parallel Simulations

  2023 IEEE Vehicular Technology Conference conference-paper Decision Sciences Simulation Techniques and Applications

  0

  citations
• Structured validation of AI-based systems by virtual testing in simulated test scenarios

  2023 Applied Intelligence article Computer Science Software Testing and Debugging Techniques Open access cited by 1 patent

  11

  citations
• Scenario-Driven Data Generation with Experimentable Digital Twins

  2023 Springer eBooks conference-paper Engineering Digital Transformation in Industry Open access

  1

  citations
• Modeling Operational Scenarios for Simulation-based Validation of Technical Systems

  2022 IEEE International Conference on Artificial Intelligence and Computer Applications (ICAICA) conference-paper Computer Science Modeling and Simulation Systems

  3

  citations
• Scenario-Driven Data Generation with Experimentable Digital Twins

  2022 preprint Engineering Digital Transformation in Industry Open access

  0

  citations
• Automated Termination Analysis of Polynomial Probabilistic Programs

  2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  31

  citations

7 results