Tanmay Khandait
Orcid: 0000-0002-5029-5607
According to our database1,
Tanmay Khandait
authored at least 12 papers
between 2020 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics.
CoRR, 2023
Proceedings of the Winter Simulation Conference, 2023
Proceedings of the Winter Simulation Conference, 2023
Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023
2022
Proceedings of the Conference on Robot Learning, 2022
2021
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees.
CoRR, 2021
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021
2020
A Gradient-based Bilevel Optimization Approach for Tuning Hyperparameters in Machine Learning.
CoRR, 2020