G. Geeraerts

Available identifiers

zbMath Open geeraerts.gillesMaRDI QIDQ487252

List of research outcomes

Publication	Date of Publication	Type
Dynamics on Games: Simulation-Based Techniques and Applications to Routing	2023-02-03	Paper
Timed-automata-based verification of MITL over signals	2023-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q5101350	2022-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q5090977	2022-07-21	Paper
\textsc{MightyL}: a compositional translation from MITL to timed automata	2022-07-01	Paper
Dynamics and coalitions in sequential games	2021-12-14	Paper
Admissiblity in concurrent games	2020-05-27	Paper
On the termination of dynamics in sequential games	2020-05-26	Paper
Synthesising succinct strategies in safety games with an application to real-time scheduling	2018-06-05	Paper
Real-time synthesis is hard!	2018-02-16	Paper
To reach or not to reach? Efficient algorithms for total-payoff games	2017-09-12	Paper
Simple priced timed games are not that simple	2017-07-13	Paper
Quantitative games under failures	2017-07-13	Paper
Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games	2017-04-03	Paper
\(\omega\)-Petri nets: algorithms and complexity	2016-05-11	Paper
Synthesising Succinct Strategies in Safety and Reachability Games	2015-10-28	Paper
On MITL and alternating timed automata over infinite words	2015-08-06	Paper
On regions and zones for event-clock automata	2015-01-19	Paper
Adding negative prices to priced timed games	2014-09-15	Paper
Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm	2014-07-14	Paper
Time-bounded reachability for monotonic hybrid automata: complexity and fixed points	2014-07-08	Paper
On the \(\omega\)-language expressive power of extended Petri nets	2013-09-25	Paper
On MITL and alternating timed automata	2013-08-16	Paper
\(\omega \)-Petri nets	2013-06-28	Paper
Event clock automata: from theory to practice	2011-10-07	Paper
On reachability for hybrid automata over bounded time	2011-07-07	Paper
Lattice-valued binary decision diagrams	2010-10-04	Paper
Safraless Procedures for Timed Specifications	2010-09-10	Paper
On the efficient computation of the minimal coverability set of Petri nets	2010-04-22	Paper
Realizability of real-time logics	2009-12-01	Paper
On the Efficient Computation of the Minimal Coverability Set for Petri Nets	2008-07-03	Paper
Well-structured languages	2007-08-17	Paper
Computer Aided Verification	2006-01-10	Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science	2005-08-12	Paper

Research outcomes over time

This page was built for person: G. Geeraerts