Graph explorer

Ashutosh Trivedi

Ashutosh Trivedi contributes to research discovery and scholarly infrastructure.

19 nodes45 linksoverview previewAshutosh Trivedi
19 nodes45 links
Ashutosh Trivedi19 visible / 19 total nodes / 45 links
Related contextRelated contextRelated contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onWorks onWorks onWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalAAshutosh TrivediResearcherWKV-Fold: One-Step KV-Ca...preprint / 2026APatrick CooperResearcherAAlvaro VelasquezResearcherAAlireza NadaliResearcherTMachine Learning49008 worksTArtificial Intelligence22915 worksTComputation and Language14115 worksWSecure-by-Construction ...preprint / 2022WReachability-time games...preprint / 2009WAverage-Time Games on T...preprint / 2009WDetecting and Understan...preprint / 2020WData-Driven Debugging f...preprint / 2020WOn the Robustness of Fa...preprint / 2026WFairness-aware Configur...preprint / 2022WController Synthesis fo...preprint / 2022WOptimal Repair For Omeg...preprint / 2022WFormal Controller Synth...preprint / 2020WMean-Payoff Games on Ti...preprint / 2016
PersonSignal 1018 links

Ashutosh Trivedi

Researcher

Open