Linear semi-infinite programming (LSIP) is a branch of optimisation that focuses on problems where a finite number of decision variables is subject to infinitely many linear constraints. This ...

Model abstraction for finite state automata is helpful for decreasing computational complexity and improving comprehensibility for the verification and control synthesis of discrete-event systems (DES ...

This is a preview. Log in through your library . Abstract Nonstationary infinite-horizon Markov decision processes (MDPs) generalize the most well-studied class of sequential decision models in ...