Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Mitra, Sayan
96  Ergebnisse:
OpenAccess-Volltexte X
Personensuche X
?
1

RTAEval: A framework for evaluating runtime assurance logic:

Miller, Kristina ; Zeitler, Christopher K ; Shen, William..
http://arxiv.org/abs/2306.04585.  , 2023
Link: http://arxiv.org/abs/230..
 
?
2

ARCH-COMP23 category report: Continuous and hybrid systems ..:

Geretti, Luca ; Alexandre Dit Sandretto, Julien ; Althoff, Matthias...
https://vbn.aau.dk/da/publications/436f5388-4af8-4402-9c42-fbd5e003e5e4.  , 2023
Link: https://vbn.aau.dk/da/pu..
 
?
3

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

Joshi, Ishika ; Budhiraja, Ritvik ; Dev, Harshal...
http://arxiv.org/abs/2304.14993.  , 2023
Link: http://arxiv.org/abs/230..
 
?
4

Vegetarian Dietary Patterns and Cardiometabolic Risk in Peo..:

Wang, Tian ; Kroeger, Cynthia M ; Cassidy, Sophie...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC10369207/.  , 2023
Link: http://www.ncbi.nlm.nih...
 
?
5

Verification of $L_1$ Adaptive Control using Verse Library:..:

Song, Lin ; Li, Yangge ; Cheng, Sheng...
http://arxiv.org/abs/2303.13819.  , 2023
Link: http://arxiv.org/abs/230..
 
?
6

ARCH-COMP23 category report: Continuous and hybrid systems ..:

Althoff, Matthias ; Forets, Marcelo ; Li, Yangge...
https://vbn.aau.dk/da/publications/e320482e-4a97-4f52-b279-3afa3fed64b7.  , 2023
Link: https://vbn.aau.dk/da/pu..
 
?
7

Learning-based Perception Contracts and Applications:

Sun, Dawei ; Yang, Benjamin C ; Mitra, Sayan
http://arxiv.org/abs/2309.13515.  , 2023
Link: http://arxiv.org/abs/230..
 
?
8

Refining Perception Contracts: Case Studies in Vision-based..:

Li, Yangge ; Yang, Benjamin C ; Jia, Yixuan..
http://arxiv.org/abs/2311.08652.  , 2023
Link: http://arxiv.org/abs/231..
 
?
9

ARCH-COMP23 Category Report: Continuous and Hybrid Systems ..:

Geretti, Luca ; Alexandre Dit Sandretto, Julien ; Althoff, Matthias...
https://mediatum.ub.tum.de/1725398.  , 2023
Link: https://mediatum.ub.tum...
 
?
10

ARCH-COMP23 Category Report: Continuous and Hybrid Systems ..:

Althoff, Matthias ; Forets, Marcelo ; Li, Yangge...
https://mediatum.ub.tum.de/1725399.  , 2023
Link: https://mediatum.ub.tum...
 
?
11

Verse: A Python library for reasoning about multi-agent hyb..:

Li, Yangge ; Zhu, Haoqing ; Braught, Katherine..
http://arxiv.org/abs/2301.08714.  , 2023
Link: http://arxiv.org/abs/230..
 
?
12

Searching for Optimal Runtime Assurance via Reachability an..:

Miller, Kristina ; Zeitler, Christopher K ; Shen, William...
http://arxiv.org/abs/2310.04288.  , 2023
Link: http://arxiv.org/abs/231..
 
?
13

GAS: Generating Fast and Accurate Surrogate Models for Auto..:

Joshi, Keyur ; Hsieh, Chiao ; Mitra, Sayan.
http://arxiv.org/abs/2208.02232.  , 2022
Link: http://arxiv.org/abs/220..
 
?
14

Assuring Safety of Vision-Based Swarm Formation Control:

Hsieh, Chiao ; Koh, Yubin ; Li, Yangge.
http://arxiv.org/abs/2210.00982.  , 2022
Link: http://arxiv.org/abs/221..
 
?
15

Planning in Dynamic and Partially Unknown Environments:

Miller, Kristina ; Fan, Chuchu ; Mitra, Sayan
10.1016/J.IFACOL.2021.08.493.  , 2022
Link: https://hdl.handle.net/1..
 
1-15