Fabrice Chevalier

Available identifiers

zbMath Open chevalier.fabriceMaRDI QIDQ636265

List of research outcomes

Publication	Date of Publication	Type
Automata and Logics over Signals	2013-02-26	Paper
Weighted o-minimal hybrid systems	2011-08-26	Paper
Automata and logics over finitely varying functions	2011-08-26	Paper
O-Minimal Hybrid Reachability Games	2010-03-15	Paper
On the expressiveness of TPTL and MTL	2010-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q3396585	2009-09-19	Paper
Counter-Free Input-Determined Timed Automata	2008-07-03	Paper
On Continuous Timed Automata with Input-Determined Guards	2008-04-17	Paper
https://portal.mardi4nfdi.de/entity/Q5437180	2008-01-18	Paper
Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!	2008-01-04	Paper
Controller Synthesis for MTL Specifications	2007-09-04	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science	2006-11-14	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper

Research outcomes over time

This page was built for person: Fabrice Chevalier