Iman Shames | DeepAI

AI Chat

Featured Co-authors

Farhad Farokhi
41 publications
Mohammad Zamani
11 publications
Tyler Summers
10 publications
Chris Manzie
9 publications
Carlos Murguia
8 publications
Timothy L. Molloy
8 publications
Antoine Lesage-Landry
7 publications
Oliver Biggar
7 publications
Yitian Chen
5 publications
Benjamin Gravell
5 publications
Alex S. Leong
4 publications

∙ 09/18/2023

Distributionally Time-Varying Online Stochastic Optimization under Polyak-Łojasiewicz Condition with Application in Conditional Value-at-Risk Statistical Learning

In this work, we consider a sequence of stochastic optimization problems...

0 Yuen-Man Pun, et al. ∙

∙ 04/04/2023

Distributed Block Coordinate Moving Horizon Estimation for 2D Visual-Inertial-Odometry SLAM

This paper presents a Visual Inertial Odometry Landmark-based Simultaneo...

0 Emilien Flayac, et al. ∙

∙ 02/21/2023

Regret Analysis of Online LQR Control via Trajectory Prediction and Tracking: Extended Version

In this paper, we propose and analyze a new method for online linear qua...

0 Yitian Chen, et al. ∙

∙ 02/01/2023

The Attractor of the Replicator Dynamic in Zero-Sum Games

In this paper we characterise the long-run behaviour of the replicator d...

0 Oliver Biggar, et al. ∙

∙ 09/30/2022

The Replicator Dynamic, Chain Components and the Response Graph

In this paper we examine the relationship between the flow of the replic...

0 Oliver Biggar, et al. ∙

∙ 09/21/2022

The graph structure of two-player games

In this paper we analyse two-player games by their response graphs. The ...

0 Oliver Biggar, et al. ∙

∙ 06/01/2022

A Logistic Regression Approach to Field Estimation Using Binary Measurements

In this letter, we consider the problem of field estimation using binary...

0 Alex S. Leong, et al. ∙

∙ 05/10/2022

Robust Data-Driven Output Feedback Control via Bootstrapped Multiplicative Noise

We propose a robust data-driven output feedback control algorithm that e...

16 Benjamin Gravell, et al. ∙

∙ 04/22/2022

MITL Verification Under Timing Uncertainty

A Metric Interval Temporal Logic (MITL) verification algorithm is presen...

0 Daniel Selvaratnam, et al. ∙

∙ 02/25/2022

Probabilistic Data Association for Semantic SLAM at Scale

With advances in image processing and machine learning, it is now feasib...

0 Elad Michael, et al. ∙

∙ 11/09/2021

Modular Decomposition of Hierarchical Finite State Machines

In this paper we develop an analogue of the graph-theoretic `modular dec...

0 Oliver Biggar, et al. ∙

∙ 11/01/2021

Safe Learning of Linear Time-Invariant Systems

We consider safety in simultaneous learning and control of discrete-time...

0 Farhad Farokhi, et al. ∙

∙ 04/19/2021

Sampling Polynomial Trajectories for LTL Verification

This paper concerns the verification of continuous-time polynomial splin...

0 Daniel Selvaratnam, et al. ∙

∙ 04/16/2021

An expressiveness hierarchy of Behavior Trees and related architectures

In this paper we provide a formal framework for comparing the expressive...

0 Oliver Biggar, et al. ∙

∙ 03/02/2021

Safe Learning of Uncertain Environments for Nonlinear Control-Affine Systems

In many learning based control methodologies, learning the unknown dynam...

0 Farhad Farokhi, et al. ∙

∙ 11/28/2020

Approximate Midpoint Policy Iteration for Linear Quadratic Control

We present a midpoint policy iteration algorithm to solve linear quadrat...

0 Benjamin Gravell, et al. ∙

∙ 08/28/2020

On modularity in reactive control architectures, with an application to formal verification

Modularity is a central principle throughout the design process for cybe...

10 Oliver Biggar, et al. ∙

∙ 08/27/2020

A principled analysis of Behavior Trees and their generalisations

As complex autonomous robotic systems become more widespread, the goals ...

8 Oliver Biggar, et al. ∙

∙ 06/02/2020

Online Stochastic Convex Optimization: Wasserstein Distance Variation

Distributionally-robust optimization is often studied for a fixed set of...

38 Iman Shames, et al. ∙

∙ 05/15/2019

Predictive Online Convex Optimization

We incorporate future information in the form of the estimated value of ...

0 Antoine Lesage-Landry, et al. ∙

∙ 02/19/2019

Implementing Homomorphic Encryption Based Secure Feedback Control for Physical Systems

This paper is about an encryption based approach to the secure implement...

0 Julian Tran, et al. ∙

∙ 12/11/2018

Secure and Private Implementation of Dynamic Controllers Using Semi-Homomorphic Encryption

This paper presents a secure and private implementation of linear time-i...

0 Carlos Murguia, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world