E-LIB Suche - Ergebnisse für: Mitra, Sayan

1

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/..

2

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..

3

Symmetry-Based Abstractions for Hybrid Automata:

Sibai, Hussein ; Mitra, Sayan
IEEE Transactions on Automatic Control. 69 (2024) 5 - p. 3357-3364 , 2024

Link: https://doi.org/10.1109/..

4

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..

5

State Estimation of Continuous-Time Dynamical Systems With ..:

Sibai, Hussein ; Mitra, Sayan
IEEE Transactions on Automatic Control. 68 (2023) 12 - p. 7041-7056 , 2023

Link: https://doi.org/10.1109/..

6

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/..

7

Testing the Effects of App-Based Motivational Messages on P..:

Mitra, Sayan ; Kroeger, Cynthia M ; Xu, Jing...
JMIR Research Protocols. 12 (2023) - p. e46082 , 2023

Link: https://doi.org/10.2196/..

8

Perception Contracts for Safety of ML-Enabled Systems:

Astorga, Angello ; Hsieh, Chiao ; Madhusudan, P..
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 2196-2223 , 2023

Link: https://doi.org/10.1145/..

9

$\mathsf{HyHooVer}$: Verification and Parameter Synthesis i..:

Musavi, Negin ; Sun, Dawei ; Mitra, Sayan..
IEEE Open Journal of Control Systems. 2 (2023) - p. 263-276 , 2023

Link: https://doi.org/10.1109/..

10

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/..

11

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..

12

Proceedings of the ACM/IEEE 14th International Conference o..:

Mitra, Sayan ; Venkatasubramanian, Nalini ; Dubey, Abhishek... , 2023

Link: https://dl.acm.org/doi/1..

13

P23-080-23 Impact of an Intensive Lifestyle Program on Low ..:

Wang, Tian ; Cassidy, Sophie ; Kroeger, Cynthia...
Current Developments in Nutrition. 7 (2023) - p. 100188 , 2023

Link: https://doi.org/10.1016/..

14

The cumulative effect of insufficient sleep on adolescent o..:

Mitra, Sayan
European Journal of Preventive Cardiology. 30 (2023) 12 - p. 1289-1290 , 2023

Link: https://doi.org/10.1093/..

15

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/..