Travelled to:1 × Norway
1 × United Kingdom
Collaborated with:J.Ouaknine A.Rabinovich J.Worrell
Talks about:time (2) synthesi (1) automata (1) problem (1) metric (1) church (1) altern (1) bound (1)
Person: Mark Jenkins
DBLP: Jenkins:Mark
Contributed to:
2011
2010Wrote 2 papers:
- CSL-2011-JenkinsORW #metric #problem #synthesis
- The Church Synthesis Problem with Metric (MJ, JO, AR, JW), pp. 307–321.
- LICS-2010-JenkinsORW #automaton #bound
- Alternating Timed Automata over Bounded Time (MJ, JO, AR, JW), pp. 60–69.