5 papers
MinMax Recurrent Neural Cascades
Alessandro Ronca
We introduce MinMax Recurrent Neural Cascades (MinMax RNCs), a class of recurrent neural networks built from a novel form of recurrence over the MinMax algebra. We show that MinMax…
On the Expressivity of Recurrent Neural Cascades with Identity
Nadezda Alexandrovna Knorozova, Alessandro Ronca
Recurrent Neural Cascades (RNC) are the class of recurrent neural networks with no cyclic dependencies among recurrent neurons. Their subclass RNC+ with positive recurrent weights…
On The Expressivity of Recurrent Neural Cascades
Nadezda Alexandrovna Knorozova, Alessandro Ronca
Recurrent Neural Cascades (RNCs) are the recurrent neural networks with no cyclic dependencies among recurrent neurons. This class of recurrent networks has received a lot of atten…
The Transformation Logics
Alessandro Ronca
We introduce a new family of temporal logics designed to finely balance the trade-off between expressivity and complexity. Their key feature is the possibility of defining operator…
Tractable Offline Learning of Regular Decision Processes
Ahana Deb, Roberto Cipollone, Anders Jonsson +2
This work studies offline Reinforcement Learning (RL) in a class of non-Markovian environments called Regular Decision Processes (RDPs). In RDPs, the unknown dependency of future o…