Benjamin Monmege

Available identifiers

zbMath Open monmege.benjaminMaRDI QIDQ453532

List of research outcomes

Publication	Date of Publication	Type
Regular \(\mathcal{D}\)-length: a tool for improved prefix-stable forward Ramsey factorisations	2024-09-11	Paper
Decidability of one-clock weighted timed games with arbitrary weights	2024-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q6124934	2024-04-10	Paper
Robust controller synthesis in timed Büchi automata: a symbolic approach	2024-02-16	Paper
Optimal controller synthesis for timed systems	2023-08-26	Paper
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
Determinisation of finitely-ambiguous copyless cost register automata	2022-07-21	Paper
Symbolic Approximation of Weighted Timed Games	2022-07-21	Paper
Reaching Your Goal Optimally by Playing at Random with No Memory	2022-07-18	Paper
\textsc{MightyL}: a compositional translation from MITL to timed automata	2022-07-01	Paper
A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile specification of quantitative properties	2018-10-22	Paper
Interval iteration algorithm for MDPs and IMDPs	2018-06-05	Paper
Logical characterization of weighted pebble walking automata	2018-04-23	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
Optimal reachability in divergent weighted timed games	2017-05-19	Paper
Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games	2017-04-03	Paper
Reachability in MDPs: refining convergence of value iteration	2015-10-28	Paper
A robust class of data languages and an application to learning	2015-01-15	Paper
Adding negative prices to priced timed games	2014-09-15	Paper
Pebble weighted automata and weighted logics	2014-07-17	Paper
Adding pebbles to weighted automata: easy specification \& efficient evaluation	2014-04-29	Paper
A fresh approach to learning register automata	2013-06-28	Paper
Weighted specifications over nested words	2013-03-18	Paper
A probabilistic Kleene theorem	2012-11-21	Paper
Bounded underapproximations	2012-09-27	Paper
Adding pebbles to weighted automata	2012-09-20	Paper
Pebble weighted automata and transitive closure logics	2010-09-07	Paper

Research outcomes over time

This page was built for person: Benjamin Monmege