University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Follow us on twitter
Linked in
Linked in
Google plus
Google plus
Stumble Upon
Stumble Upon

Computer Science Technical Reports




Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives

Nicolas Basset‚ Marta Kwiatkowska‚ Ufuk Topcu and Clemens Wiltsche

No. RR−14−10. DCS. 2014.


A Note on Interlaced Quantum Teleportation

Brendan Fong

No. RR−14−09. DCS. 2014.


Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions

Aleksandra Jovanovic and Marta Kwiatkowska

No. RR−14−06. DCS. 2014.


Compositional Controller Synthesis for Stochastic Games

Nicolas Basset‚ Marta Kwiatkowska and Clemens Wiltsche

No. RR−14−05. DCS. 2014.


A General Framework for Inconsistency−Tolerant Query Answering in Datalog+⁄−

Thomas Lukasiewicz‚ Maria Vanina Martinez and Gerardo I. Simari

No. RR−14−04. DCS. 2014.


Computing k−Rank Answers with Ontological CP−Nets

Tommaso Di Noia‚ Thomas Lukasiewicz‚ Maria Vanina Martinez‚ Gerardo I. Simari and Oana Tifrea−Marciuska

No. RR−14−03. DCS. 2014.


Ontology−Based Query Answering with Group Preferences

Thomas Lukasiewicz‚ Maria Vanina Martinez‚ Gerardo I. Simari and Oana Tifrea−Marciuska

No. RR−14−02. DCS. May, 2014.


Permissive Controller Synthesis for Probabilistic Systems

Klaus Dräger‚ Vojtĕch Forejt‚ Marta Kwiatkowska‚ David Parker and Mateusz Ujma

No. RR−14−01. DCS. 2014.

Synthesising Optimal Timing Delays for Timed I/O Automata

Marco Diciolla‚ Chang Hwan Peter Kim‚ Marta Kwiatkowska and Alexandru Mereacre

DCS. 2014.

Precise Parameter Synthesis for Stochastic Biochemical Systems

Milan Češka‚ Frits Dannenberg‚ Marta Kwiatkowska and Nicola Paoletti

DCS. 2014.