Ashutosh Trivedi

A new method enhances accuracy in automata learning using large language models.

A method to predict opponents' moves in simultaneous choice games.

Exploring the importance of accountability in software systems affecting social and legal outcomes.

New methods improve pacemaker design and functionality for better heart health.

Transfer learning boosts control systems, making them safer and more efficient.