Amir Maleki

According to our database, Amir Maleki authored at least 8 papers between 1996 and 2022.

Collaborative distances:

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

2022

OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems.

Chelsea Sidrane, Amir Maleki, Ahmed Irfan, Mykel J. Kochenderfer

J. Mach. Learn. Res., 2022

2021

A composable autoencoder-based iterative algorithm for accelerating numerical simulations.

Rishikesh Ranade, Chris Hill, Haiyang He, Amir Maleki, Norman Chang, Jay Pathak

CoRR, 2021

Geometry encoding for numerical simulations.

Amir Maleki, Jan Heyse, Rishikesh Ranade, Haiyang He, Priya Kasimbeg, Jay Pathak

CoRR, 2021

A Latent space solver for PDE generalization.

Rishikesh Ranade, Chris Hill, Haiyang He, Amir Maleki, Jay Pathak

CoRR, 2021

Preference-based Learning of Reward Function Features.

Sydney M. Katz, Amir Maleki, Erdem Biyik, Mykel J. Kochenderfer

CoRR, 2021

2020

ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2018

Non-contact measurement of eyeblink by using Doppler sensor.

Amir Maleki, Masafumi Uchida

Artif. Life Robotics, 2018

1996

Central Sets and Their Combinatorial Characterization.

Neil Hindman, Amir Maleki, Dona Strauss

J. Comb. Theory A, 1996