LazySets.jl is a Julia library that provides ways to symbolically represent sets of points as geometric shapes, with special focus on convex and polyhedral approximations. LazySets methods apply common set operations, convert between different representations, efficiently compute in high dimensions using specialized algorithms based the types. core JuliaReach, cutting-edge software addressing f...

Uncertainty arises in many compelling real-world applications of planning. There is a large body of work on propositional uncertainty where actions have non-deterministic outcomes. However handling numeric uncertainty has been given less consideration. In this paper, we present a novel offline policy-building approach for problems with numeric uncertainty. In particular, inspired by the planner...

This paper presents a non-numeric approach to uncertain reasoning by extending the incidence calculus. In parallel to the well known fuzzy, belief/plausibility, probability, and necessity/possibility measures, the corresponding classes of non-numeric functions are examined. A method of constructing non-numeric functions is discussed using the notion of compatibility relations. Non-numeric funct...