ashutosh trivedi

University of Colorado Boulder

United States

Research Interests

Explore related searches

Professors in United States Professors in Artificial Intelligence Artificial Intelligence professors in United States

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

Articles (7)

Year:

2025

Year:

2024

Year:

2024

Year:

2023

Year:

2023

Year:

2023

Year:

2022

Collaborators (7)

Sven Schewe

Professor

University of Liverpool

UNITED KINGDOM

View details

FABIO SOMENZI

University of Colorado Boulder

UNITED STATES

View details

Krystia Reed

Assistant Professor

University of Texas at El Paso

UNITED STATES

View details

Saeid Tizpaz-Niari

University of Texas at El Paso

UNITED STATES

View details

Majid Zamani

Professor

University of Colorado Boulder

UNITED STATES

View details

Abolfazl Lavaei

Assistant Professor

Newcastle University

UNITED KINGDOM

View details

Dominik Wojtczak

University of Liverpool

UNITED KINGDOM

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

ashutosh trivedi

Research Interests

Explore related searches

Contact this professor

Articles (7)

Experts, commercial software, and the internal revenue service: American taxpayer perceptions of trust and procedural justice.

Verification of Hyperproperties for Dynamical Systems via Barrier Certificates

Safety Verification of Discrete-Time Systems via Interpolation-Inspired Barrier Certificates

Multi-objective ω-Regular Reinforcement Learning

Restructuring Dynamical Systems for Inductive Verification

Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems

A Scenario Approach for Synthesizing k-Inductive Barrier Certificates

Collaborators (7)

Sven Schewe

FABIO SOMENZI

Krystia Reed

Saeid Tizpaz-Niari

Majid Zamani

Abolfazl Lavaei

Dominik Wojtczak

Make your next move.