Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Mitra, Sayan
82  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

ChatGPT in the Classroom: An Analysis of Its Strengths and ..:

, In: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1,
Joshi, Ishika ; Budhiraja, Ritvik ; Dev, Harshal... - p. 625-631 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Data-driven Verification of Autonomous Systems: Reachabilit..:

, In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control,
Mitra, Sayan - p. 1 ff. , 2024
Link: https://dl.acm.org/doi/1..
 
?
3

Optimal Runtime Assurance via Reinforcement Learning:

, In: 2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS),
Miller, Kristina ; Zeitler, Christopher K. ; Shen, William... - p. 67-76 , 2024
Link: https://doi.org/10.1109/..
 
?
4

Verification of ℒ1 Adaptive Control using Verse Library: A ..:

, In: Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023),
Song, Lin ; Li, Yangge ; Cheng, Sheng... - p. 245-246 , 2023
Link: https://dl.acm.org/doi/1..
 
?
5

Safety of the Stanley Controller with Curved Lanes and Nois..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
Li, Hongyi ; Mitra, Sayan - p. 8628-8634 , 2023
Link: https://doi.org/10.1109/..
 
?
6

Parallel and Incremental Verification of Hybrid Automata wi..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Zhu, Haoqing ; Li, Yangge ; Shen, Keyi. - p. 95-114 , 2023
Link: https://doi.org/10.1007/..
 
?
7

RTAEval: A Framework for Evaluating Runtime Assurance Logic:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Miller, Kristina ; Zeitler, Christopher K. ; Shen, William.. - p. 302-313 , 2023
Link: https://doi.org/10.1007/..
 
?
8

Verse: A Python Library for Reasoning About Multi-agent Hyb..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Li, Yangge ; Zhu, Haoqing ; Braught, Katherine.. - p. 351-364 , 2023
Link: https://doi.org/10.1007/..
 
?
9

Industry-track: Challenges in Rebooting Autonomy with Deep ..:

, In: 2022 International Conference on Embedded Software (EMSOFT),
Abraham, Michael ; Mayne, Aaron ; Perez, Tristan... - p. 17-20 , 2022
Link: https://doi.org/10.1109/..
 
?
10

NeuReach: Learning Reachability Functions from Simulations:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Sun, Dawei ; Mitra, Sayan - p. 322-337 , 2022
Link: https://doi.org/10.1007/..
 
?
11

Breast Cancer Detection Using Machine Learning:

, In: Communication, Software and Networks; Lecture Notes in Networks and Systems,
Goyal, Somya ; Sinha, Mehul ; Nath, Shashwat.. - p. 613-620 , 2022
Link: https://doi.org/10.1007/..
 
?
12

Programming Abstractions for Simulation and Testing on Smar..:

, In: 2022 IEEE 18th International Conference on Automation Science and Engineering (CASE),
Hsieh, Chiao ; Wu, Daniel ; Koh, Yubin. - p. 2287-2292 , 2022
Link: https://doi.org/10.1109/..
 
?
13

Multi-agent motion planning using differential games with l..:

, In: 2022 IEEE 61st Conference on Decision and Control (CDC),
Miller, Kristina ; Mitra, Sayan - p. 5751-5756 , 2022
Link: https://doi.org/10.1109/..
 
?
14

$$\mathsf {SceneChecker}$$: Boosting Scenario Verification ..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Sibai, Hussein ; Li, Yangge ; Mitra, Sayan - p. 580-594 , 2021
Link: https://doi.org/10.1007/..
 
?
15

Fast and Guaranteed Safe Controller Synthesis for Nonlinear..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Fan, Chuchu ; Miller, Kristina ; Mitra, Sayan - p. 629-652 , 2020
Link: https://doi.org/10.1007/..
 
1-15