Amir Maleki

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems.
J. Mach. Learn. Res., 2022

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

Geometry encoding for numerical simulations.
CoRR, 2021

A Latent space solver for PDE generalization.
CoRR, 2021

Preference-based Learning of Reward Function Features.
CoRR, 2021

2020
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
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.
Artif. Life Robotics, 2018

1996
Central Sets and Their Combinatorial Characterization.
J. Comb. Theory A, 1996


  Loading...