Amélie Stainer

MaRDI QIDQ2018057zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Synthesising succinct strategies in safety games with an application to real-time scheduling Theoretical Computer Science	2018-06-05	Paper
Synthesising Succinct Strategies in Safety and Reachability Games Lecture Notes in Computer Science	2015-10-28	Paper
A game approach to determinize timed automata Formal Methods in System Design	2015-03-24	Paper
Reachability of communicating timed processes Lecture Notes in Computer Science	2013-03-18	Paper
Frequencies in forgetful timed automata Lecture Notes in Computer Science	2012-11-21	Paper
Off-line test selection with test purposes for non-deterministic timed automata Logical Methods in Computer Science	2012-10-22	Paper
Monitor-based statistical model checking for weighted metric temporal logic Logic for Programming, Artificial Intelligence, and Reasoning	2012-06-15	Paper
Emptiness and universality problems in timed automata with positive frequency Automata, Languages and Programming	2011-07-07	Paper
A game approach to determinize timed automata Foundations of Software Science and Computational Structures	2011-05-19	Paper
Off-line test selection with test purposes for non-deterministic timed automata Tools and Algorithms for the Construction and Analysis of Systems	2011-05-19	Paper

Research outcomes over time

This page was built for person: Amélie Stainer