Amélie Stainer

Available identifiers

zbMath Open stainer.amelieMaRDI QIDQ2018057

List of research outcomes

Publication	Date of Publication	Type
Synthesising succinct strategies in safety games with an application to real-time scheduling	2018-06-05	Paper
Synthesising Succinct Strategies in Safety and Reachability Games	2015-10-28	Paper
A game approach to determinize timed automata	2015-03-24	Paper
Reachability of communicating timed processes	2013-03-18	Paper
Frequencies in forgetful timed automata	2012-11-21	Paper
Off-line test selection with test purposes for non-deterministic timed automata	2012-10-22	Paper
Monitor-based statistical model checking for weighted metric temporal logic	2012-06-15	Paper
Emptiness and universality problems in timed automata with positive frequency	2011-07-07	Paper
A game approach to determinize timed automata	2011-05-19	Paper
Off-line test selection with test purposes for non-deterministic timed automata	2011-05-19	Paper

Research outcomes over time

This page was built for person: Amélie Stainer