Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1809.09310
Cited By
v1
v2 (latest)
Scenic: A Language for Scenario Specification and Scene Generation
ACM-SIGPLAN Symposium on Programming Language Design and Implementation (PLDI), 2018
25 September 2018
Daniel J. Fremont
T. Dreossi
Shromona Ghosh
Xiangyu Yue
Alberto L. Sangiovanni-Vincentelli
Sanjit A. Seshia
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Scenic: A Language for Scenario Specification and Scene Generation"
50 / 99 papers shown
Lumos: Let there be Language Model System Certification
Isha Chaudhary
Vedaant V. Jain
Avaljot Singh
Kavya Sachdeva
Sayan Ranu
Gagandeep Singh
84
0
0
02 Dec 2025
ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
Eric Vin
Kyle A. Miller
Inigo Incer
Sanjit A. Seshia
Daniel J. Fremont
157
0
0
04 Nov 2025
David vs. Goliath: A comparative study of different-sized LLMs for code generation in the domain of automotive scenario generation
Philipp Bauerfeind
Amir Salarpour
David Fernandez
Pedram MohajerAnsari
Johannes Reschke
Mert D. Pesé
131
0
0
15 Oct 2025
Attack logics, not outputs: Towards efficient robustification of deep neural networks by falsifying concept-based properties
Raik Dankworth
Gesina Schwalbe
AAML
131
0
0
01 Oct 2025
CHAI: Command Hijacking against embodied AI
Luis Burbano
Diego Ortiz
Qi Sun
Siwei Yang
Haoqin Tu
Cihang Xie
Yinzhi Cao
Alvaro A Cardenas
LM&Ro
158
0
0
30 Sep 2025
Interactive Program Synthesis for Modeling Collaborative Physical Activities from Narrated Demonstrations
Edward Kim
Daniel He
Jorge Chao
Wiktor Rajca
Mohammed Amin
Nishant Malpani
Ruta Desai
Antti Oulasvirta
Bjoern Hartmann
Sanjit A. Seshia
131
1
0
29 Sep 2025
CARJAN: Agent-Based Generation and Simulation of Traffic Scenarios with AJAN
Leonard Frank Neis
Andre Antakli
Matthias Klusch
74
0
0
29 Aug 2025
Adversarial Generation and Collaborative Evolution of Safety-Critical Scenarios for Autonomous Vehicles
Jiangfan Liu
Yongkang Guo
Fangzhi Zhong
Tianyuan Zhang
Zonglei Jing
Yaning Tan
Jinyang Guo
Mingchuan Zhang
Aishan Liu
Xianglong Liu
AAML
201
1
0
20 Aug 2025
Bridging Simulation and Usability: A User-Friendly Framework for Scenario Generation in CARLA
Ahmed Abouelazm
Mohammad Mahmoud
Conrad Walter
Oleksandr Shchetsura
Erne Hussong
Helen Gremmelmaier
J. M. Zöllner
202
1
0
26 Jul 2025
Foundation Models in Autonomous Driving: A Survey on Scenario Generation and Scenario Analysis
Yuan Gao
Mattia Piccinini
Yuchen Zhang
Dingrui Wang
Korbinian Moller
...
Steven Peters
Andrea Stocco
Bassam Alrifaee
Marco Pavone
Johannes Betz
363
21
0
13 Jun 2025
GENMANIP: LLM-driven Simulation for Generalizable Instruction-Following Manipulation
Computer Vision and Pattern Recognition (CVPR), 2025
Ning Gao
Yilun Chen
Shuai Yang
Xinyi Chen
Yang Tian
Hao Li
Haifeng Huang
Hanqing Wang
Tai Wang
Jiangmiao Pang
LM&Ro
350
8
0
12 Jun 2025
CrashAgent: Crash Scenario Generation via Multi-modal Reasoning
Miao Li
Wenhao Ding
Haohong Lin
Yiqi Lyu
Yihang Yao
Yuyou Zhang
Ding Zhao
LLMAG
193
3
0
23 May 2025
A Survey of Attacks on Large Language Models
Wenrui Xu
Keshab K. Parhi
AAML
ELM
272
10
0
18 May 2025
MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments
Victoria Tuck
Hardik Parwana
Pei-Wei Chen
Georgios Fainekos
Bardh Hoxha
Hideki Okamoto
S. Shankar Sastry
Sanjit A. Seshia
287
0
0
21 Apr 2025
On Scenario Formalisms for Automated Driving
Christian Neurohr
Lukas Westhofen
Tjark Koopmann
Eike Möhlmann
Eckard Böde
Axel Hahn
109
1
0
07 Apr 2025
AccidentSim: Generating Vehicle Collision Videos with Physically Realistic Collision Trajectories from Real-World Accident Reports
Xinsong Zhang
Qian Zhang
Longfei Han
Qiang Qu
Xiaoming Chen
Weidong Cai
VGen
391
1
0
26 Mar 2025
Four Principles for Physically Interpretable World Models
Jordan Peper
Zhenjiang Mao
Yuang Geng
Siyuan Pan
Ivan Ruchkin
467
5
0
04 Mar 2025
Text2Scenario: Text-Driven Scenario Generation for Autonomous Driving Test
Xuan Cai
Xuesong Bai
Zhiyong Cui
Danmu Xie
Daocheng Fu
Haiyang Yu
Yilong Ren
374
11
0
04 Mar 2025
Autoware.Flex: Human-Instructed Dynamically Reconfigurable Autonomous Driving Systems
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2024
Ziwei Song
Mingsong Lv
Tianchi Ren
Chun Jason Xue
Jen-Ming Wu
Nan Guan
415
1
0
17 Feb 2025
From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events
Yan Miao
Georgios Fainekos
Bardh Hoxha
Hideki Okamoto
Danil Prokhorov
Sayan Mitra
279
7
0
28 Jan 2025
ChatDyn: Language-Driven Multi-Actor Dynamics Generation in Street Scenes
Yuxi Wei
Jingbo Wang
Yuwen Du
Dingju Wang
Liang Pan
Chenxin Xu
Yao Feng
Bo Dai
Siheng Chen
AI4CE
304
2
0
11 Dec 2024
DynNPC: Finding More Violations Induced by ADS in Simulation Testing through Dynamic NPC Behavior Generation
You Lu
Yifan Tian
Dingji Wang
Bihuan Chen
Xin Peng
AAML
413
0
0
29 Nov 2024
Querying Perception Streams with Spatial Regular Expressions
Jacob Anderson
Georgios Fainekos
Bardh Hoxha
Hideki Okamoto
Danil Prokhorov
200
0
0
08 Nov 2024
Enabling Adaptive Agent Training in Open-Ended Simulators by Targeting Diversity
Neural Information Processing Systems (NeurIPS), 2024
Robby Costales
Stefanos Nikolaidis
AI4CE
229
1
0
07 Nov 2024
LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation
Neural Information Processing Systems (NeurIPS), 2024
Bowen Li
Zhaoyu Li
Qiwei Du
Jinqi Luo
Wenshan Wang
...
Katia Sycara
Pradeep Kumar Ravikumar
Alexander G. Gray
X. Si
Sebastian A. Scherer
AI4CE
LRM
506
14
0
01 Nov 2024
Managing Bandwidth: The Key to Cloud-Assisted Autonomous Driving
Alexander Krentsel
Peter Schafhalter
Alfons Kemper
Sylvia Ratnasamy
S. Shenker
Ion Stoica
239
3
0
21 Oct 2024
Enhancing LLM-based Autonomous Driving Agents to Mitigate Perception Attacks
Ruoyu Song
Muslum Ozgur Ozmen
Hyungsub Kim
Antonio Bianchi
Z. Berkay Celik
AAML
202
12
0
22 Sep 2024
Realistic Extreme Behavior Generation for Improved AV Testing
IEEE International Conference on Robotics and Automation (ICRA), 2024
Robert Dyro
Matthew Foutter
Ruolin Li
L. D. Lillo
Edward Schmerling
Xilin Zhou
Marco Pavone
AAML
270
3
0
16 Sep 2024
Simulation-based Scenario Generation for Robust Hybrid AI for Autonomy
Hambisa Keno
N. Pioch
Christopher Guagliano
Timothy H. Chung
83
1
0
10 Sep 2024
Multimodal Large Language Model Driven Scenario Testing for Autonomous Vehicles
Qiujing Lu
Xuanhan Wang
Yiwei Jiang
Guangming Zhao
Mingyue Ma
Shuo Feng
318
25
0
10 Sep 2024
CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
Ethan Chen
Jiwon Chang
Yuhao Zhu
84
0
0
04 Sep 2024
Text-to-Drive: Diverse Driving Behavior Synthesis via Large Language Models
IEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2024
Phat Nguyen
Tsun-Hsuan Wang
Zhang-Wei Hong
S. Karaman
Daniela Rus
LM&Ro
231
13
0
06 Jun 2024
ChatScene: Knowledge-Enabled Safety-Critical Scenario Generation for Autonomous Vehicles
Computer Vision and Pattern Recognition (CVPR), 2024
Jiawei Zhang
Chejian Xu
Yue Liu
287
98
0
22 May 2024
Diagnosing and Predicting Autonomous Vehicle Operational Safety Using Multiple Simulation Modalities and a Virtual Environment
Joe Beck
Shean Huff
Subhadeep Chakraborty
178
2
0
13 May 2024
Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems
David Dalrymple
Joar Skalse
Yoshua Bengio
Stuart J. Russell
Max Tegmark
...
Clark Barrett
Ding Zhao
Zhi-Xuan Tan
Jeannette Wing
Joshua Tenenbaum
362
99
0
10 May 2024
Generating Probabilistic Scenario Programs from Natural Language
Karim Elmaaroufi
Devan Shankar
Ana Cismaru
Marcell Vazquez-Chanlatte
Alberto L. Sangiovanni-Vincentelli
Matei A. Zaharia
Sanjit A. Seshia
271
15
0
03 May 2024
Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications
Josefine B. Graebener
Apurva Badithela
Denizalp Goktas
Wyatt Ubellacker
Eric V. Mazumdar
Aaron D. Ames
Richard M. Murray
158
3
0
15 Apr 2024
ROBUST: 221 Bugs in the Robot Operating System
Empirical Software Engineering (EMSE), 2024
C. Timperley
G. V. D. Hoorn
André Santos
Harshavardhan Deshpande
Andrzej Wasowski
164
7
0
04 Apr 2024
CARLOS: An Open, Modular, and Scalable Simulation Framework for the Development and Testing of Software for C-ITS
Christian Geller
Benedikt Haas
Amarin Kloeker
Jona Hermens
Bastian Lampe
Till Beemelmanns
Lutz Eckstein
364
8
0
02 Apr 2024
GENESIS-RL: GEnerating Natural Edge-cases with Systematic Integration of Safety considerations and Reinforcement Learning
Hsin-Jung Yang
Joe Beck
Md Zahid Hasan
Ekin Beyazit
Subhadeep Chakraborty
Tichakorn Wongpiromsarn
Soumik Sarkar
164
1
0
27 Mar 2024
Scenario-Based Curriculum Generation for Multi-Agent Autonomous Driving
Axel Brunnbauer
Luigi Berducci
P. Priller
D. Ničković
Radu Grosu
381
3
0
26 Mar 2024
A Simple Framework Towards Vision-based Traffic Signal Control with Microscopic Simulation
Pan He
Quanyi Li
Xiaoyong Yuan
Bolei Zhou
215
2
0
11 Mar 2024
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
M. Daggitt
Wen Kokke
R. Atkey
Natalia Slusarz
Luca Arnaboldi
Ekaterina Komendantskaya
NAI
322
16
0
12 Jan 2024
Choose Your Simulator Wisely: A Review on Open-source Simulators for Autonomous Driving
Yueyuan Li
Wei Yuan
Songan Zhang
Weihao Yan
Qiyuan Shen
Chunxiang Wang
Ming Yang
362
75
0
18 Nov 2023
Bridging Data-Driven and Knowledge-Driven Approaches for Safety-Critical Scenario Generation in Automated Vehicle Validation
Kunkun Hao
Lu Liu
Wen Cui
Jianxing Zhang
Songyang Yan
Yuxi Pan
Zijiang Yang
252
6
0
18 Nov 2023
Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach
Xi Zheng
Al Mok
R. Piskac
Yong Jae Lee
Bhaskar Krishnamachari
Dakai Zhu
O. Sokolsky
Insup Lee
ELM
272
7
0
13 Nov 2023
TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
Aaditya Naik
Adam Stein
Yinjun Wu
Mayur Naik
Eric Wong
299
4
0
13 Aug 2023
Spatialyze: A Geospatial Video Analytics System with Spatial-Aware Optimizations
Proceedings of the VLDB Endowment (PVLDB), 2023
Chanwut Kittivorawong
Yongming Ge
Yousef Helal
Alvin Cheung
314
3
0
07 Aug 2023
End-to-end Autonomous Driving: Challenges and Frontiers
IEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI), 2023
Li Chen
Peng Wu
Kashyap Chitta
Bernhard Jaeger
Andreas Geiger
Guoying Gu
3DV
381
605
0
29 Jun 2023
ScenarioNet: Open-Source Platform for Large-Scale Traffic Scenario Simulation and Modeling
Neural Information Processing Systems (NeurIPS), 2023
Quanyi Li
Zhenghao Peng
Lan Feng
Zhizheng Liu
Chenda Duan
Wen-An Mo
Bolei Zhou
555
75
0
21 Jun 2023
1
2
Next
Page 1 of 2
