Shakiba Yaghoubi

28 papers A* 1A 1C 3Misc 1Journal 8Unranked 14

Year	Rank	Type	Title / Venue / Authors
2024	A*	`conf`	Towards learning-based planning: The nuPlan benchmark for real-world autonomous driving. ICRA Napat Karnchanachari, Dimitris Geromichalos, Kok Seang Tan, Nanxiang Li, Christopher Eriksen, Shakiba Yaghoubi, Noushin Mehdipour, Gianmarco Bernasconi, Whye Kit Fong, Yiluan Guo, Holger Caesar
2024	J	`jnl`	Towards learning-based planning: The nuPlan benchmark for real-world autonomous driving. CoRR Napat Karnchanachari, Dimitris Geromichalos, Kok Seang Tan, Nanxiang Li, Christopher Eriksen, Shakiba Yaghoubi, Noushin Mehdipour, Gianmarco Bernasconi, Whye Kit Fong, Yiluan Guo, Holger Caesar
2021	—	`conf`	ARCH-COMP 2021 Category Report: Falsification with Validation of Results. ARCH@ADHS Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
2021	J	`jnl`	Risk-Bounded Control Using Stochastic Barrier Functions. IEEE Control. Syst. Lett. Shakiba Yaghoubi, Keyvan Majd, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
2021	—	`conf`	Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions. CDC Shakiba Yaghoubi, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
2021	J	`jnl`	Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions. CoRR Shakiba Yaghoubi, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
2021	C	`conf`	Risk-bounded Control using Stochastic Barrier Functions. ACC Shakiba Yaghoubi, Keyvan Majd, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
2021	A	`conf`	Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions. IROS Keyvan Majd, Shakiba Yaghoubi, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos
2021	J	`jnl`	Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions. CoRR Keyvan Majd, Shakiba Yaghoubi, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos
2020	—	`conf`	ARCH-COMP 2020 Category Report: Falsification. ARCH Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
2020	—	`conf`	Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances. ITSC Shakiba Yaghoubi, Georgios Fainekos, Sriram Sankaranarayanan
2020	J	`jnl`	Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances. CoRR Shakiba Yaghoubi, Georgios Fainekos, Sriram Sankaranarayanan
2020	Misc	`conf`	Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach. ITA Shakiba Yaghoubi, Georgios Fainekos
2019	—	`conf`	ARCH-COMP 2019 Category Report: Falsification. ARCH@CPSIoTWeek Gidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
2019	C	`conf`	Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic. MEMOCODE Mohammad Hekmatnejad, Shakiba Yaghoubi, Adel Dokhanchi, Heni Ben Amor, Aviral Shrivastava, Lina J. Karam, Georgios Fainekos
2019	—	`conf`	Falsification of Cyber-Physical Systems with Robustness Uncertainty Quantification Through Stochastic optimization with Adaptive Restart. CASE Logan Mathesen, Shakiba Yaghoubi, Giulia Pedrielli, Georgios Fainekos
2019	—	`conf`	Falsification of cyber-physical systems through multi-fidelity stochastic optimization. SNR Alireza Inanlouganji, Shakiba Yaghoubi, Georgios Fainekos, Giulia Pedrielli
2019	—	`conf`	Gray-box adversarial testing for control systems with machine learning components. HSCC Shakiba Yaghoubi, Georgios Fainekos
2019	J	`jnl`	Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach. ACM Trans. Embed. Comput. Syst. Shakiba Yaghoubi, Georgios Fainekos
2018	—	`conf`	ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. ARCH@ADHS Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards
2018	—	`conf`	Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time. ADHS Shakiba Yaghoubi, Georgios Fainekos
2018	J	`jnl`	Gray-box Adversarial Testing for Control Systems with Machine Learning Component. CoRR Shakiba Yaghoubi, Georgios Fainekos
2018	J	`jnl`	Local Descent For Temporal Logic Falsification of Cyber-Physical Systems (Extended Technical Report). CoRR Shakiba Yaghoubi, Georgios Fainekos
2017	—	`conf`	ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks. ARCH@CPSWeek Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos
2017	—	`conf`	Functional gradient descent optimization for automatic test case generation for vehicle controllers. CASE Cumhur Erkan Tuncali, Shakiba Yaghoubi, Theodore P. Pavlic, Georgios Fainekos
2017	C	`conf`	Hybrid approximate gradient and stochastic descent for falsification of nonlinear systems. ACC Shakiba Yaghoubi, Georgios Fainekos
2017	—	`conf`	Local Descent for Temporal Logic Falsification of Cyber-Physical Systems. CyPhy Shakiba Yaghoubi, Georgios Fainekos
2017	—	`conf`	Vacuity aware falsification for MTL request-response specifications. CASE Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos