Exact Computation of Maximal Invariant Sets for Safe Markov Chains—Lattice Theoretic Approach
Successive Convexification with Signal Temporal Logic Specifications for Spacecraft Rendezvous
From Lustre to Simulink: reverse compilation for embedded systems applications
Bounding Fixed Points of Set-based Bellman Operator and Nash Equilibria of Stochastic Games
Arash just arrived in the group as a postdoc. Prior to this, he was a researcher at TU Eindhoven. Welcome Arash!