research
∙
08/14/2023
Omega-Regular Reward Machines
Reinforcement learning (RL) is a powerful approach for training agents t...
share
research
∙
06/08/2023
MC-NN: An End-to-End Multi-Channel Neural Network Approach for Predicting Influenza A Virus Hosts and Antigenic Types
Influenza poses a significant threat to public health, particularly amon...
research
∙
07/28/2022
Dive into Machine Learning Algorithms for Influenza Virus Host Prediction with Hemagglutinin Sequences
Influenza viruses mutate rapidly and can pose a threat to public health,...
research
∙
06/23/2022
Recursive Reinforcement Learning
Recursion is the fundamental paradigm to finitely describe potentially i...
research
∙
06/08/2022
Multi-channel neural networks for predicting influenza A virus hosts and antigenic types
Influenza occurs every season and occasionally causes pandemics. Despite...
research
∙
05/06/2022
Alternating Good-for-MDP Automata
When omega-regular objectives were first proposed in model-free reinforc...
research
∙
01/04/2022
Predicting Influenza A Viral Host Using PSSM and Word Embeddings
The rapid mutation of the influenza virus threatens public health. Reass...
research
∙
06/16/2021
Mungojerrie: Reinforcement Learning of Linear-Time Objectives
Reinforcement learning synthesizes controllers without prior knowledge o...
research
∙
06/12/2021
Model-free Reinforcement Learning for Branching Markov Decision Processes
We study reinforcement learning for the optimal control of Branching Mar...
research
∙
04/20/2021
A Recursive Approach to Solving Parity Games in Quasipolynomial Time
Zielonka's classic recursive algorithm for solving parity games is perha...
research
∙
04/16/2021
Priority Promotion with Parysian Flair
We develop an algorithm that combines the advantages of priority promoti...
research
∙
03/23/2021
Facility Reallocation on the Line
We consider a multi-stage facility reallocation problems on the real lin...
research
∙
01/18/2021
Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP
We study stochastic games with energy-parity objectives, which combine q...
research
∙
10/07/2019
Coordination Games on Weighted Directed Graphs
We study strategic games on weighted directed graphs, in which the payof...
research
∙
07/22/2019
Open Problems in a Logic of Gossips
Gossip protocols are programs used in a setting in which each agent hold...
research
∙
04/26/2019
Improving the complexity of Parys' recursive algorithm
Parys has recently proposed a quasi-polynomial version of Zielonka's rec...
research
∙
09/26/2018
Omega-Regular Objectives in Model-Free Reinforcement Learning
We provide the first solution for model-free reinforcement learning of ω...
research
∙
02/26/2018
On Strong NP-Completeness of Rational Problems
The computational complexity of the partition, 0-1 subset sum, unbounded...
research
∙
07/27/2017