In this paper we introduce PRIMA: A PRecise vIsual language for Modeling with Agents, in a physical environment. Our objective is to design an expressive Domain Specific Visual La...
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
Let 2 be the unknown error variance of a linear model and let ^2 be the estimator of 2 based on the residual sum of squares. In this work, we show the precise asymptotics in the l...
Abstract. Robustly estimating the state-transition probabilities of highorder Markov processes is an essential task in many applications such as natural language modeling or protei...
We present a parametric walk model for a four-legged robot. The walk model is improved using a genetic algorithm, but unlike previous approaches, the fitness is determined in a ru...