research
∙
04/23/2021
Active Learning of Sequential Transducers with Side Information about the Domain
Active learning is a setting in which a student queries a teacher, throu...
share
research
∙
04/28/2020
Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes
In this paper, we consider algorithms to decide the existence of strateg...
research
∙
02/10/2020
Alternating Tree Automata with Qualitative Semantics
We study alternating automata with qualitative semantics over infinite b...
research
∙
01/14/2019
Monadic Second Order Logic with Path-Measure Quantifier is Undecidable
We prove that the theory of monadic second order logic (MSO) of the infi...
research
∙
05/31/2018
Strategy Logic with Imperfect Information
We introduce an extension of Strategy Logic for the imperfect-informatio...
research
∙
05/31/2018
Decidability results for ATL* with imperfect information and perfect recall
Alternating-time Temporal Logic (ATL*) is a central logic for multiagent...
research
∙
02/17/2017