Skip to content

Author

M. Khaled

We have 3 of 306 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Open access Sep 2026

Real-Time Synthesis of Robust Controlled Invariant Sets for Monotone Systems

A threshold-function reformulation is introduced in which a lower-closed set on a d-dimensional grid is represented by its column heights along a designated axis and reformulates the greatest-fixed-point iteration as independent one-dimensional binary searches, yielding an embarrassingly parallel iteration with asympto...

Yasin Sonmez, M. Khaled, Majid Zamani et al. · 0 citations
Preprint Aug 2026

CSymPlan: Certified Symbolic Planning and Control for High-DOF Manipulators

CSymPlan is presented, a certified symbolic planning and control framework for high-DOF manipulators with two complementary implementations: an offline implementation that precomputes certified reach-avoid feedback policies for known workspaces; and an online implementation that synthesizes or updates symbolic policies...

Aditya Narendra, Ashok Kumar Saini, M. Anand et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.