Benjamin Monmege

Available identifiers

zbMath Open monmege.benjaminMaRDI QIDQ453532

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q5875670	2023-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q5101350	2022-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q5090965	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5092439	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5089292	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Benjamin Monmege