Tanmay Khandait

Orcid: 0000-0002-5029-5607

According to our database1, Tanmay Khandait authored at least 12 papers between 2020 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics.
CoRR, 2023

Safe Robot Learning in Assistive Devices through Neural Network Repair.
CoRR, 2023

CGPT: A Conditional Gaussian Process Tree for Grey-Box Bayesian Optimization.
Proceedings of the Winter Simulation Conference, 2023

Parameter Optimization with Conscious Allocation (POCA).
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

Stealthy attacks formalized as STL formulas for Falsification of CPS Security.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems.
Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

2022
Safe Robot Learning in Assistive Devices through Neural Network Repair.
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

ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020
Impact of News on the Commodity Market: Dataset and Results.
CoRR, 2020

A Gradient-based Bilevel Optimization Approach for Tuning Hyperparameters in Machine Learning.
CoRR, 2020


  Loading...