research
∙
09/07/2023
Estimating the Coverage Measure and the Area Explored by a Line-Sweep Sensor on the Plane
This paper presents a method for determining the area explored by a line...
share
research
∙
08/01/2023
A many-sorted epistemic logic for chromatic hypergraphs
We propose a many-sorted modal logic for reasoning about knowledge in mu...
research
∙
03/27/2023
Semi-simplicial Set Models for Distributed Knowledge
In recent years, a new class of models for multi-agent epistemic logic h...
research
∙
01/16/2023
A semi-abelian approach to directed homology
We develop a homology theory for directed spaces, based on the semi-abel...
research
∙
01/14/2022
Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs
Neural ordinary differential equations (NODEs) – parametrizations of dif...
research
∙
10/22/2021
Solving N-player dynamic routing games with congestion: a mean field approach
The recent emergence of navigational tools has changed traffic patterns ...
research
∙
09/14/2021
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling
Effective inclusion of physics-based knowledge into deep neural network ...
research
∙
08/23/2021
A Simplicial Model for KB4_n: Epistemic Logic with Agents that May Die
The standard semantics of multi-agent epistemic logic S5 is based on Kri...
research
∙
07/30/2021
Neural Network Based Model Predictive Control for an Autonomous Vehicle
We study learning based controllers as a replacement for model predictiv...
research
∙
07/30/2021
Validation of RELU nets with tropical polyhedra
This paper studies the problem of range analysis for feedforward neural ...
research
∙
07/27/2021
Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts
We explore the reinforcement learning approach to designing controllers ...
research
∙
06/29/2020
Algebraic coherent confluence and higher-dimensional globular Kleene algebras
We extend the formalisation of confluence results in Kleene algebras to ...
research
∙
02/20/2020
Knowledge and simplicial complexes
Simplicial complexes are a versatile and convenient paradigm on which to...
research
∙
09/07/2019
A dynamic epistemic logic analysis of the equality negation task
In this paper we study the solvability of the equality negation task in ...
research
∙
08/19/2019
Directed Homotopy in Non-Positively Curved Spaces
A semantics of concurrent programs can be given using precubical sets, i...
research
∙
09/10/2018
A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability
The usual epistemic model S5n for a multi-agent system is based on a Kri...
research
∙
09/17/2017
On directed homotopy equivalences and a notion of directed topological complexity
This short note introduces a notion of directed homotopy equivalence and...
research
∙
04/25/2017
Models of fault-tolerant distributed computation via dynamic epistemic logic
The computability power of a distributed computing model is determined b...
research
∙
03/31/2017