
Neural Networks with PhysicsInformed Architectures and Constraints for Dynamical Systems Modeling
Effective inclusion of physicsbased knowledge into deep neural network ...
read it

A Simplicial Model for KB4_n: Epistemic Logic with Agents that May Die
The standard semantics of multiagent epistemic logic S5 is based on Kri...
read it

Neural Network Based Model Predictive Control for an Autonomous Vehicle
We study learning based controllers as a replacement for model predictiv...
read it

Validation of RELU nets with tropical polyhedra
This paper studies the problem of range analysis for feedforward neural ...
read it

Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Nonnominal Contexts
We explore the reinforcement learning approach to designing controllers ...
read it

Algebraic coherent confluence and higherdimensional globular Kleene algebras
We extend the formalisation of confluence results in Kleene algebras to ...
read it

Knowledge and simplicial complexes
Simplicial complexes are a versatile and convenient paradigm on which to...
read it

A dynamic epistemic logic analysis of the equality negation task
In this paper we study the solvability of the equality negation task in ...
read it

Directed Homotopy in NonPositively Curved Spaces
A semantics of concurrent programs can be given using precubical sets, i...
read it

A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability
The usual epistemic model S5n for a multiagent system is based on a Kri...
read it

On directed homotopy equivalences and a notion of directed topological complexity
This short note introduces a notion of directed homotopy equivalence and...
read it

Models of faulttolerant distributed computation via dynamic epistemic logic
The computability power of a distributed computing model is determined b...
read it

A simplicial complex model of dynamic epistemic logic for faulttolerant distributed computing
The usual epistemic S5 model for multiagent systems is a Kripke graph, ...
read it
Eric Goubault
is this you? claim profile