受强制性开放获取政策约束的文章 - Tanmay Khandait了解详情
无法在其他位置公开访问的文章：1 篇
Stealthy attacks formalized as STL formulas for Falsification of CPS Security
A Chandratre, T Hernandez Acosta, T Khandait, G Pedrielli, G Fainekos
Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023
强制性开放获取政策： US Department of Defense
可在其他位置公开访问的文章：8 篇
ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
G Ernst, P Arcaini, I Bennani, A Chandratre, A Donzé, G Fainekos, ...
ARCH@ ADHS, 133-152, 2021
强制性开放获取政策： US National Science Foundation, US Department of Defense, European Commission
Arch-comp 2022 category report: Falsification with ubounded resources
G Ernst, P Arcaini, G Fainekos, F Formica, J Inoue, T Khandait, ...
Proceedings of 9th International Workshop on Applied Verification of …, 2022
强制性开放获取政策： US National Science Foundation, US Department of Defense, Natural Sciences …
Part-x: A family of stochastic algorithms for search-based test generation with probabilistic guarantees
G Pedrielli, T Khandait, Y Cao, Q Thibeault, H Huang, M Castillo-Effen, ...
IEEE Transactions on Automation Science and Engineering, 2023
强制性开放获取政策： US National Science Foundation, US Department of Defense
Arch-comp 2023 category report: Falsification
C Menghi, P Arcaini, W Baptista, G Ernst, G Fainekos, F Formica, S Gon, ...
10th International Workshop on Applied Verification of Continuous and Hybrid …, 2023
强制性开放获取政策： US National Science Foundation, US Department of Defense, Natural Sciences …
ARCH-COMP 2024 Category Report: Falsification
T Khandait, F Formica, P Arcaini, S Chotaliya, G Fainekos, A Hekal, ...
Proceedings of the 11th Int. Workshop on Applied 103, 122-144, 2024
强制性开放获取政策： US National Science Foundation, US Department of Defense, Austrian Science …
CGPT: A Conditional Gaussian Process Tree for Grey-Box Bayesian Optimization
MM Jiang, T Khandait, G Pedrielli
2023 Winter Simulation Conference (WSC), 564-575, 2023
强制性开放获取政策： US National Science Foundation, US Department of Defense
Parameter Optimization with Conscious Allocation (POCA)
J Inman, T Khandait, G Pedrielli, L Sankar
2023 Winter Simulation Conference (WSC), 3436-3447, 2023
强制性开放获取政策： US National Science Foundation, US Department of Defense
Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator
T Khandait, A Chandratre, W Baptista, G Pedrielli, G Fainekos
Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023
强制性开放获取政策： US Department of Defense
出版信息和资助信息由计算机程序自动确定