Παρακολούθηση
Emmanuel Filiot
Emmanuel Filiot
FNRS - Université Libre de Bruxelles
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ulb.ac.be - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Acacia+, a tool for LTL synthesis
A Bohy, V Bruyère, E Filiot, N Jin, JF Raskin
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
1692012
An antichain algorithm for LTL realizability
E Filiot, N Jin, JF Raskin
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
1502009
Antichains and compositional algorithms for LTL synthesis
E Filiot, N Jin, JF Raskin
Formal Methods in System Design 39, 261-296, 2011
1122011
Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games
V Bruyère, E Filiot, M Randour, JF Raskin
Information and Computation 254, 259-295, 2017
822017
Transducers, logic and algebra for functions of finite words
E Filiot, PA Reynier
ACM SIGLOG News 3 (3), 4-19, 2016
682016
Compositional algorithms for LTL synthesis
E Filiot, N Jin, JF Raskin
International Symposium on Automated Technology for Verification and …, 2010
622010
Regular transformations of infinite strings
R Alur, E Filiot, A Trivedi
2012 27th Annual IEEE Symposium on Logic in Computer Science, 65-74, 2012
582012
Synthesis from LTL specifications with mean-payoff objectives
A Bohy, V Bruyere, E Filiot, JF Raskin
International Conference on Tools and Algorithms for the Construction and …, 2013
572013
Tree automata with global constraints
E Filiot, JM Talbot, S Tison
International Journal of Foundations of Computer Science 21 (4), 571-596, 2010
512010
Quantitative languages defined by functional automata
E Filiot, R Gentilini
Logical Methods in Computer Science 11, 2015
462015
The complexity of rational synthesis
R Condurache, E Filiot, R Gentilini, JF Raskin
43rd International Colloquium on Automata, Languages, and Programming (ICALP …, 2016
452016
From two-way to one-way finite state transducers
E Filiot, O Gauwin, PA Reynier, F Servais
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 468-477, 2013
432013
Properties of visibly pushdown transducers
E Filiot, JF Raskin, PA Reynier, F Servais, JM Talbot
Mathematical Foundations of Computer Science 2010: 35th International …, 2010
412010
Logic-automata connections for transformations
E Filiot
Indian Conference on Logic and Its Applications, 30-57, 2015
402015
Doomsday equilibria for omega-regular games
K Chatterjee, L Doyen, E Filiot, JF Raskin
Verification, Model Checking, and Abstract Interpretation: 15th …, 2014
362014
On equivalence and uniformisation problems for finite transducers
E Filiot, I Jecker, C Löding, S Winter
arXiv preprint arXiv:1602.08565, 2016
342016
First-order definable string transformations
E Filiot, SN Krishna, A Trivedi
arXiv preprint arXiv:1406.7824, 2014
342014
Satisfiability of a spatial logic with tree variables
E Filiot, JM Talbot, S Tison
International Workshop on Computer Science Logic, 130-145, 2007
252007
First-order definability of rational transductions: An algebraic approach
E Filiot, O Gauwin, N Lhote
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
212016
Finite-valued weighted automata
E Filiot, R Gentilini, JF Raskin
34th International Conference on Foundation of Software Technology and …, 2014
212014
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20