This paper presents a method for rectifying video sequences from rolling shutter (RS) cameras. In contrast to previous RS rectification attempts we model distortions as being cau...
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
— Sampling-based motion planners are often used to solve very high-dimensional planning problems. Many recent algorithms use projections of the state space to estimate properties...
This paper presents a stochastic multi-agent model of stock market. The market dynamics include switches between chartists and fundamentalists and switches in the prevailing opinio...
We are interested in the simulation and optimization of gas transport in networks. Different regions of the network may be modelled by different equations. There are three models...