research
∙
05/10/2022
Envelopes and Waves: Safe Multivehicle Collision Avoidance for Horizontal Non-deterministic Turns
We present an approach to analyzing the safety of asynchronous, independ...
share
research
∙
08/03/2020
Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples
There is great interest in using formal methods to guarantee the reliabi...
research
∙
12/21/2018
Whittemore: An embedded domain specific language for causal programming
This paper introduces Whittemore, a language for causal programming. Cau...
research
∙
05/04/2018
Causal programming: inference with structural causal models as finding instances of a relation
This paper proposes a causal inference relation and causal programming a...
research
∙
08/05/2017
A causation coefficient and taxonomy of correlation/causation relationships
This paper introduces a causation coefficient which is defined in terms ...
research
∙
03/19/2016
Evolving Shepherding Behavior with Genetic Programming Algorithms
We apply genetic programming techniques to the `shepherding' problem, in...
research
∙
03/19/2016