research
∙
07/26/2023
TT^_𝒞: a Family of Extensional Type Theories with Effectful Realizers of Continuity
TT^_𝒞 is a generic family of effectful, extensional type theories with a...
share
research
∙
01/11/2023
Uncertainty Estimation based on Geometric Separation
In machine learning, accurately predicting the probability that a specif...
research
∙
06/23/2022
A Geometric Method for Improved Uncertainty Estimation in Real-time
Machine learning classifiers are probabilistic in nature, and thus inevi...
research
∙
06/04/2020
Embedding Directed Graphs in Potential Fields Using FastMap-D
Embedding undirected graphs in a Euclidean space has many computational ...
research
∙
06/19/2019
Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks
The MAPF problem is the fundamental problem of planning paths for multip...
research
∙
05/21/2019
Position Paper: From Multi-Agent Pathfinding to Pipe Routing
The 2D Multi-Agent Path Finding (MAPF) problem aims at finding collision...
research
∙
03/30/2018
Overview: A Hierarchical Framework for Plan Generation and Execution in Multi-Robot Systems
The authors present an overview of a hierarchical framework for coordina...
research
∙
02/02/2018
Infinitary and Cyclic Proof Systems for Transitive Closure Logic
We formulate an infinitary proof system for transitive closure logic, wh...
research
∙
01/08/2018
Applicable Mathematics in a Minimal Computational Theory of Sets
In previous papers on this project a general static logical framework fo...
research
∙
10/04/2017
Feasibility Study: Moving Non-Homogeneous Teams in Congested Video Game Environments
Multi-agent path finding (MAPF) is a well-studied problem in artificial ...
research
∙
06/08/2017
Rapid Randomized Restarts for Multi-Agent Path Finding Solvers
Multi-Agent Path Finding (MAPF) is an NP-hard problem well studied in ar...
research
∙
06/08/2017
The FastMap Algorithm for Shortest Path Computations
We present a new preprocessing algorithm for embedding the nodes of a gi...
research
∙
04/25/2017
Path Planning with Kinematic Constraints for Robot Groups
Path planning for multiple robots is well studied in the AI and robotics...
research
∙
02/17/2017