Morteza Lahijanian

Available identifiers

zbMath Open lahijanian.mortezaMaRDI QIDQ1024928

List of research outcomes

Publication	Date of Publication	Type
Interval Markov decision processes with multiple objectives: from robust strategies to Pareto curves	2024-09-08	Paper
Temporal segmentation in multi agent path finding with applications to explainability	2024-07-03	Paper
Interval Markov Decision Processes with Continuous Action-Spaces	2024-02-21	Paper
Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty	2024-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q5021010	2022-01-11	Paper
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes	2021-03-12	Paper
Efficiency through uncertainty	2019-10-22	Paper
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes	2019-09-17	Paper
Formal Verification and Synthesis for Discrete-Time Stochastic Systems	2017-05-16	Paper
Iterative temporal motion planning for hybrid systems in partially unknown environments	2017-05-16	Paper
Observers in language-based control	2009-06-17	Paper

Research outcomes over time

This page was built for person: Morteza Lahijanian