Mark Jenkins : Publications

The Church Synthesis Problem with Metric

Mark Jenkins‚ Joël Ouaknine‚ Alexander Rabinovich and James Worrell

In Computer Science Logic (CSL'11) − 25th International Workshop/20th Annual Conference of the EACSL. Vol. 12 of Leibniz International Proceedings in Informatics (LIPIcs). Pages 307–321. Dagstuhl‚ Germany. 2011. Schloss Dagstuhl–Leibniz−Zentrum fuer Informatik.

Details | BibTeX | DOI (10.4230/LIPIcs.CSL.2011.307) | Link

Alternating Timed Automata over Bounded Time

Mark Jenkins‚ Joël Ouaknine‚ Alexander Rabinovich and James Worrell

In 25th Annual IEEE Symposium on Logic in Computer Science (LICS)‚ 2010. Pages 60–69. Los Alamitos‚ CA‚ USA. 2010. IEEE Computer Society.

Details | BibTeX | DOI (10.1109/LICS.2010.45)