4 papers
Stochastic Barrier Certificates in the Presence of Dynamic Obstacles
Rayan Mazouz, Luca Laurenti, Morteza Lahijanian
Safety of stochastic dynamic systems in environments with dynamic obstacles is studied in this paper through the lens of stochastic barrier functions. We introduce both time-invari…
On the Optimality of Uncertain MDP Abstractions
Ibon Gracia, Morteza Lahijanian
We study the asymptotic optimality of abstraction-based control synthesis algorithms. Specifically, we consider uncertain MDP (UMDP) abstraction, and investigate whether refinement…
Learning Markov Processes as Sum-of-Square Forms for Analytical Belief Propagation
Peter Amorese, Morteza Lahijanian
Harnessing the predictive capability of Markov process models requires propagating probability density functions (beliefs) through the model. For many existing models however, beli…
Suppressed excitonic effects enable high mobility, high-yield photoconductivity in a two-dimensional polymer crystal with axial pyridine coordination
Shuai Fu, Ye Yang, Guoquan Gao +8
Two-dimensional polymers (2DPs) and their layer-stacked covalent organic frameworks (2D COFs) offer modular, atomically precise platforms for organic optoelectronics, yet their pho…