Mark Jenkins

Mark Jenkins

Doctoral Student

Student, St John's College

Leaving date: 31st October 2012

Themes:

• Automated Verification

Selected Publications

View AllManage 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 about The Church Synthesis Problem with Metric | BibTeX data for The Church Synthesis Problem with Metric | DOI (10.4230/LIPIcs.CSL.2011.307) | Link to The Church Synthesis Problem with Metric

• 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 about Alternating Timed Automata over Bounded Time | BibTeX data for Alternating Timed Automata over Bounded Time | DOI (10.1109/LICS.2010.45)

Activities

• Quantitative Analysis and Verification

Supervisor