Computer Science Technical Reports
2018201720162015201420132012201120102009200820072006200520042003
1974
|
[RR-14-10] |
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. |
|
[RR-14-09] |
A Note on Interlaced Quantum Teleportation Brendan Fong No. RR−14−09. DCS. 2014. |
|
[RR-14-06] |
Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions Aleksandra Jovanovic and Marta Kwiatkowska No. RR−14−06. DCS. 2014. |
|
[RR-14-05] |
Compositional Controller Synthesis for Stochastic Games Nicolas Basset‚ Marta Kwiatkowska and Clemens Wiltsche No. RR−14−05. DCS. 2014. |
|
[RR-14-04] |
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. |
|
[RR-14-03] |
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. |
|
[RR-14-02] |
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. |
|
[RR-14-01] |
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. |