Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Fainekos, Georgios
107  Ergebnisse:
Personensuche X
?
1

SMT-Based Dynamic Multi-Robot Task Allocation:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Tuck, Victoria Marie ; Chen, Pei-Wei ; Fainekos, Georgios... - p. 331-351 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Formalizing and evaluating requirements of perception syste..:

Hekmatnejad, Mohammad ; Hoxha, Bardh ; Deshmukh, Jyotirmoy V...
The International Journal of Robotics Research.  43 (2024)  2 - p. 203-238 , 2024
Link: https://doi.org/10.1177/..
 
?
3

Robust Conformal Prediction for STL Runtime Verification un..:

, In: 2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS),
Zhao, Yiqi ; Hoxha, Bardh ; Fainekos, Georgios.. - p. 169-179 , 2024
Link: https://doi.org/10.1109/..
 
?
4

Safety Under Uncertainty: Tight Bounds with Risk-Aware Cont..:

, In: 2023 IEEE International Conference on Robotics and Automation (ICRA),
Black, Mitchell ; Fainekos, Georgios ; Hoxha, Bardh.. - p. 12686-12692 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Risk-Awareness in Learning Neural Controllers for Temporal ..:

, In: 2023 American Control Conference (ACC),
Hashemi, Navid ; Qin, Xin ; Deshmukh, Jyotirmoy V.... - p. 4096-4103 , 2023
Link: https://doi.org/10.23919..
 
?
6

Stealthy attacks formalized as STL formulas for Falsificati..:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,
Chandratre, Aniruddh ; Hernandez Acosta, Tomas ; Khandait, Tanmay.. - p. 1-8 , 2023
Link: https://dl.acm.org/doi/1..
 
?
7

Search Based Testing for Code Coverage and Falsification in..:

, In: 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE),
Thibeault, Quinn ; Khandait, Tanmay ; Pedrielli, Giulia. - p. 1-8 , 2023
Link: https://doi.org/10.1109/..
 
?
8

Quantitative Verification for Neural Networks using ProbSta..:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,
Tran, Hoang-Dung ; Choi, Sungwoo ; Okamoto, Hideki... - p. 1-12 , 2023
Link: https://dl.acm.org/doi/1..
 
?
9

Pattern Matching for Perception Streams:

, In: Runtime Verification; Lecture Notes in Computer Science,
Anderson, Jacob ; Fainekos, Georgios ; Hoxha, Bardh.. - p. 251-270 , 2023
Link: https://doi.org/10.1007/..
 
?
10

Demo Abstract: Analysing CPS Security with Falsification on..:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,
Khandait, Tanmay ; Chandratre, Aniruddh ; Baptista, Walstan.. - p. 1-2 , 2023
Link: https://dl.acm.org/doi/1..
 
?
11

A Neurosymbolic Approach to the Verification of Temporal Lo..:

, In: Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023),
Hashemi, Navid ; Hoxha, Bardh ; Yamaguchi, Tomoya... - p. 98-109 , 2023
Link: https://dl.acm.org/doi/1..
 
?
12

NMPC-LBF: Nonlinear MPC with Learned Barrier Function for D..:

, In: 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS),
Lafmejani, Amir Salimi ; Berman, Spring ; Fainekos, Georgios - p. 10297-10303 , 2022
Link: https://doi.org/10.1109/..
 
?
13

PyFoReL: A Domain-Specific Language for Formal Requirements..:

, In: 2022 IEEE 30th International Requirements Engineering Conference (RE),
Anderson, Jacob ; Hekmatnejad, Mohammad ; Fainekos, Georgios - p. 266-267 , 2022
Link: https://doi.org/10.1109/..
 
?
14

Joint Communication and Motion Planning for Cobots:

, In: 2022 International Conference on Robotics and Automation (ICRA),
Dadvar, Mehdi ; Majd, Keyvan ; Oikonomou, Elena.. - p. 4771-4777 , 2022
Link: https://doi.org/10.1109/..
 
?
15

PerceMon: Online Monitoring for Perception Systems:

, In: Runtime Verification; Lecture Notes in Computer Science,
Balakrishnan, Anand ; Deshmukh, Jyotirmoy ; Hoxha, Bardh.. - p. 297-308 , 2021
Link: https://doi.org/10.1007/..
 
1-15