Concepedia

Ashutosh Trivedi

AT

13

Publications

271

Citations

11

H-Index

2008

Active since

Affiliations

University of Colorado Boulder(Current)

Indian Institute of Technology Bombay

University of Pennsylvania

University of Colorado System

University of Oxford

Ashutosh Trivedi is an author at University of Colorado Boulder specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceFormal MethodsSystems EngineeringFormal VerificationVerificationComputer EngineeringBusinessGame TheoryMechanism Design

Publications per year

2008–2024

13

Publications

13

Secure-by-construction synthesis of cyber-physical systems

Siyuan Liu, Ashutosh Trivedi, Xiang Yin et al. · Annual Reviews in Control · 2022 · 48 citations

Engineering, Information Security, Design +7

Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks

Verya Monjezi, Ashutosh Trivedi, Gang Tan et al. · 2023 · 43 citations

Artificial Intelligence, Engineering, Machine Learning +19

Regular Transformations of Infinite Strings

Rajeev Alur, Emmanuel Filiot, Ashutosh Trivedi · 2012 · 28 citations

Abstract Machine, Equivalent Generalization, Infinite Dimensional Analysis +15

Skolem functions for factored formulas

Ajith K. John, Shetal Shah, Supratik Chakraborty et al. · 2015 · 26 citations

Engineering, Function ψ, Computational Complexity +21

Optimal scheduling for constant-rate multi-mode systems

Rajeev Alur, Ashutosh Trivedi, Dominik Wojtczak · 2012 · 24 citations

Mathematical Programming, Engineering, Scheduling Analysis +12

Rows per page

1–5 of 13