15 citations · 79 across the 28 of their papers we have counts for
Showing 2014 · cs.LOShow all
2 papers · 2 filters
cs.LO2014★ 6 cited
First-order definable string transformations
Emmanuel Filiot, Shankara Narayanan Krishna, Ashutosh Trivedi
The connection between languages defined by computational models and logic for languages is well-studied. Monadic second-order logic and finite automata are shown to closely corres…
cs.LO2014
Safraless Synthesis for Epistemic Temporal Specifications
Rodica Bozianu, Catalin Dima, Emmanuel Filiot
In this paper we address the synthesis problem for specifications given in linear temporal single-agent epistemic logic, KLTL (or ), over single-agent systems having imperfec…