The problem of planning for a robot that operates in environments containing a large
number of objects, taking actions to move itself through the world as well as to change the …

There is a growing interest in Industry and Academia in large scale composite systems
where a number of physical processes are interfaced with intelligent units that control them …

In this paper, we consider the problem of formally verifying the safety of an autonomous
robot equipped with a Neural Network (NN) controller that processes LiDAR images to …

It is crucial for automated vehicles to explicitly comply with specifications, including traffic
rules, to ensure their safe and effective participation in road traffic. Such compliance is also …

Applications in artificial intelligence, formal verification, and other areas have greatly
benefited from the recent advances in SAT. It is often the case, however, that applications in …

The majority of existing linear temporal logic (LTL) planning methods rely on the
construction of a discrete product automaton, which combines a discrete abstraction of robot …

This paper proposes a new reactive mission planning algorithm for multiple robots that
operate in unknown environments. The robots are equipped with individual sensors that …

The availability of representative datasets is an essential prerequisite for many successful
artificial intelligence and machine learning models. However, in real life applications these …

In this paper, we discuss the computational complexity of reconstructing the state of a linear
system from sensor measurements that have been corrupted by an adversary. The first result …

Abstract Neural Networks (NNs) have increasingly apparent safety implications
commensurate with their proliferation in real-world applications: both unanticipated as well …