
Certification of Iterative Predictions in Bayesian Neural Networks
We consider the problem of computing reachavoid probabilities for itera...
read it

GridFree Computation of Probabilistic Safety with Malliavin Calculus
We work with continuoustime, continuousspace stochastic dynamical syst...
read it

Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic
This paper investigates the motion planning of autonomous dynamical syst...
read it

Equilibrium Refinements for MultiAgent Influence Diagrams: Theory and Practice
Multiagent influence diagrams (MAIDs) are a popular form of graphical m...
read it

MultiAgent Reinforcement Learning with Temporal Logic Specifications
In this paper, we study the problem of learning to satisfy temporal logi...
read it

Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey
Stochastic hybrid systems have received significant attentions as a rele...
read it

SafePILCO: a software tool for safe and dataefficient policy synthesis
SafePILCO is a software tool for safe and dataefficient policy search w...
read it

Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers
In this paper we employ SMT solvers to soundly synthesise Lyapunov funct...
read it

Symbolic Reachability Analysis of High Dimensional MaxPlus Linear Systems
This work discusses the reachability analysis (RA) of MaxPlus Linear (M...
read it

Automated Formal Synthesis of Neural Barrier Certificates for Dynamical Models
We introduce an automated, formal, counterexamplebased approach to synt...
read it

Jump Operator Planning: GoalConditioned Policy Ensembles and ZeroShot Transfer
In Hierarchical Control, compositionality, abstraction, and tasktransfe...
read it

Computation of the Transient in MaxPlus Linear Systems via SMTSolving
This paper proposes a new approach, grounded in Satisfiability Modulo Th...
read it

Acceleration of Descentbased Optimization Algorithms via Carathéodory's Theorem
We propose a new technique to accelerate algorithms based on Gradient De...
read it

A Randomized Algorithm to Reduce the Support of Discrete Measures
Given a discrete probability measure supported on N atoms and a set of n...
read it

Bayesian Verification of Chemical Reaction Networks
We present a datadriven verification approach that determines whether o...
read it

Automated Formal Synthesis of Lyapunov Neural Networks
We propose an automated and sound technique to synthesize provably corre...
read it

Cautious Reinforcement Learning with Logical Constraints
This paper presents the concept of an adaptive safe padding that forces ...
read it

Safety Guarantees for Planning Based on Iterative Gaussian Processes
Gaussian Processes (GPs) are widely employed in control and learning bec...
read it

DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
We propose a method for effective training of deep Reinforcement Learnin...
read it

DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
We propose a method for efficient training of deep Reinforcement Learnin...
read it

Modular Deep Reinforcement Learning with Temporal Logic Specifications
We propose an actorcritic, modelfree, and online Reinforcement Learnin...
read it

Verifying Reachability Properties in Markov Chains via Incremental Induction
There is a scalability gap between probabilistic and nonprobabilistic v...
read it

Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees
Reinforcement Learning (RL) has emerged as an efficient method of choice...
read it

Bounded Model Checking of MaxPlus Linear Systems via Predicate Abstractions
This paper introduces the abstraction of maxplus linear (MPL) systems v...
read it

Certified Reinforcement Learning with Logic Guidance
This paper proposes the first modelfree Reinforcement Learning (RL) fra...
read it

LogicallyConstrained Neural Fitted QIteration
This paper proposes a method for efficient training of the Qfunction fo...
read it

LogicallyCorrect Reinforcement Learning
We propose a novel Reinforcement Learning (RL) algorithm to synthesize p...
read it

Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees
Cyberphysical systems, like Smart Buildings and power plants, have to m...
read it

Temporal logic control of general Markov decision processes by approximate policy refinement
The formal verification and controller synthesis for Markov decision pro...
read it

Safe Policy Search with Gaussian Process Models
We propose a method to optimise the parameters of a policy which will be...
read it

Experimental Biological Protocols with Formal Semantics
Both experimental and computational biology is becoming increasingly aut...
read it
Alessandro Abate
is this you? claim profile