Morteza Lahijanian
12 papers · 2022–2026 · 7 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π Conference Polyglot Β· Silver πΊοΈ Taxonomy Completionist (32) π Interdisciplinary Bridge Β· Gold π Keyword Champion π Century Club Β· Bronze
ποΈ
Keyword Collector
(70)
π₯
Unstoppable Β· Bronze
π
Renaissance Researcher
(5)
π
Trend Setter
Top co-authors
Research topics
Artificial Intelligence
(10)
Machine Learning
(9)
Core AI
(7)
Optimization & Theory
(7)
Mathematics & Optimization
(5)
Learning Types
(4)
Optimization
(4)
Knowledge & Reasoning
(3)
Robotics
(3)
Bayesian & Probabilistic
(3)
Reasoning
(3)
Deep Learning
(2)
Reinforcement Learning
(2)
Applications
(2)
Systems
(2)
Keywords
dynamic programming
(2)
stochastic system
(2)
strategy synthesis
(2)
value iteration
(2)
partially observable markov decision process
(2)
convex optimization
(2)
dynamical system
(2)
error bound
(2)
safety certification
(2)
belief propagation
(1)
markov decision process
(1)
heuristic search
(1)
gaussian process
(1)
optimal control
(1)
density estimation
(1)
deep kernel learning
(1)
gaussian process regression
(1)
constrained optimization
(1)
bayesian inference
(1)
system identification
(1)
Papers
Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection
JMLR 2026
Universal Learning of Stochastic Dynamics for Exact Belief Propagation Using Bernstein Normalizing Flows
AAAI 2026
Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
IJCAI 2025
Error Bounds for Gaussian Process Regression Under Bounded Support Noise with Applications to Safety Certification
AAAI 2025
Error Bounds for Physics-Informed Neural Networks in Fokker-Planck PDEs
UAI 2025
Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
L4DC 2025
Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances
L4DC 2024
Recursively-Constrained Partially Observable Markov Decision Processes
UAI 2024
Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
UAI 2024
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming
ICML 2023
An Algorithm for Learning Switched Linear Dynamics from Data
NeurIPS 2022
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
NeurIPS 2022