Tuhin Sahai

According to our database, Tuhin Sahai authored at least 30 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

An efficient quantum algorithm for simulating polynomial dynamical systems.

Amit Surana, Abeynaya Gnanasekaran, Tuhin Sahai

Quantum Inf. Process., March, 2024

2023

math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories.

Hassen Saïdi, Susmit Jha, Tuhin Sahai

CoRR, 2023

Efficient Quantum Algorithms for Nonlinear Stochastic Dynamical Systems.

Abeynaya Gnanasekaran, Amit Surana, Tuhin Sahai

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

2022

A Koopman framework for rare event simulation in stochastic differential equations.

Benjamin J. Zhang, Tuhin Sahai, Youssef M. Marzouk

J. Comput. Phys., 2022

Carleman linearization based efficient quantum algorithm for higher order polynomial differential equations.

Amit Surana, Abeynaya Gnanasekaran, Tuhin Sahai

CoRR, 2022

A Dynamic Mode Decomposition Approach for Decentralized Spectral Clustering of Graphs.

Hongyu Zhu, Stefan Klus, Tuhin Sahai

Proceedings of the IEEE Conference on Control Technology and Applications, 2022

2021

Post Quantum Secure Command and Control of Mobile Agents Inserting Quantum-Resistant Encryption Schemes in the Secure Robot Operating System.

Richa Varma, Chris Melville, Claudio Pinello, Tuhin Sahai

Int. J. Semantic Comput., 2021

Computing eigenfunctions of the multidimensional Ornstein-Uhlenbeck operator.

Benjamin J. Zhang, Tuhin Sahai, Youssef M. Marzouk

CoRR, 2021

Talaria: A Framework for Simulation of Permissioned Blockchains for Logistics and Beyond.

Jiali Xing, David Fischer, Nitya Labh, Ryan Piersma, Benjamin C. Lee, Yu Amy Xia, Tuhin Sahai, Vahid Tarokh

CoRR, 2021

2020

Dynamical Systems Theory and Algorithms for NP-hard Problems.

Tuhin Sahai

CoRR, 2020

Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms.

Tuhin Sahai, Anurag Mishra, Jose Miguel Pasini, Susmit Jha

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae.

Susmit Jha, Tuhin Sahai, Vasumathi Raman, Alessandro Pinto, Michael Francis

J. Autom. Reason., 2019

TeLEx: learning signal temporal logic from positive examples using tightness metric.

Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar

Formal Methods Syst. Des., 2019

Spectral Complexity of Directed Graphs and Application to Structural Decomposition.

Igor Mezic, Vladimir A. Fonoberov, Maria Fonoberova, Tuhin Sahai

Complex., 2019

2017

Continuous Relaxations for the Traveling Salesman Problem.

Tuhin Sahai, Stefan Klus, Michael Dellnitz

CoRR, 2017

TeLEx: Passive STL Learning Using Only Positive Examples.

Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar

Proceedings of the Runtime Verification - 17th International Conference, 2017

On Learning Sparse Boolean Formulae for Explaining AI Decisions.

Susmit Jha, Vasumathi Raman, Alessandro Pinto, Tuhin Sahai, Michael Francis

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2015

A Chaotic Dynamical System that Paints.

Tuhin Sahai, George Mathew, Amit Surana

CoRR, 2015

2014

A Spectral Assignment Approach for the Graph Isomorphism Problem.

Stefan Klus, Tuhin Sahai

CoRR, 2014

2013

Uncertainty quantification in hybrid dynamical systems.

Tuhin Sahai, Jose Miguel Pasini

J. Comput. Phys., 2013

Polynomial chaos based uncertainty quantification in Hamiltonian and chaotic systems.

Jose Miguel Pasini, Tuhin Sahai

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Efficient tracking and pursuit of moving targets by heuristic solution of the traveling salesman problem.

Brendan J. Englot, Tuhin Sahai, Isaac Cohen

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

A Traveling Salesman Learns Bayesian Networks

Tuhin Sahai, Stefan Klus, Michael Dellnitz

CoRR, 2012

Mapping and Reducing the Brain on the Cloud

Esha Sahai, Tuhin Sahai

CoRR, 2012

Hearing the clusters of a graph: A distributed algorithm.

Tuhin Sahai, Alberto Speranzon, Andrzej Banaszuk

Autom., 2012

2011

An efficient algorithm for the parallel solution of high-dimensional differential equations.

Stefan Klus, Tuhin Sahai, Cong Liu, Michael Dellnitz

J. Comput. Appl. Math., 2011

Iterative Methods for Scalable Uncertainty Quantification in Complex Networks

Amit Surana, Tuhin Sahai, Andrzej Banaszuk

CoRR, 2011

Scalable approach to uncertainty quantification and robust design of interconnected dynamical systems.

Andrzej Banaszuk, Vladimir A. Fonoberov, Thomas A. Frewen, Marin Kobilarov, George Mathew, Igor Mezic, Alessandro Pinto, Tuhin Sahai, Harshad S. Sane, Alberto Speranzon, Amit Surana

Annu. Rev. Control., 2011

2010

Wave equation based algorithm for distributed eigenvector computation.

Tuhin Sahai, Alberto Speranzon, Andrzej Banaszuk

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009

Numerical Methods for Approximating Invariant Manifolds of Delayed Systems.

Tuhin Sahai, Alexander Vladimirsky

SIAM J. Appl. Dyn. Syst., 2009