Morteza Lahijanian

Available identifiers

zbMath Open lahijanian.mortezaMaRDI QIDQ1024928

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Morteza Lahijanian