Abstract: Generating realistic simulations is critical for autonomous system applications such as self-driving and human-robot interactions. However, driving simulators nowadays still have difficulty ...

where $l$ and $u$ are the lower and upper probability bounds, while $\phi$ and $\psi$ denote propositional logic formulas. For example the following two sentences ...