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
https://portal.mardi4nfdi.de/entity/Q5092439	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
https://portal.mardi4nfdi.de/entity/Q5357711	2017-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q5275374	2017-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q5275375	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