Search results
- 1.0398169 - ÚTIA 2014 RIV DE eng C - Conference Paper (international conference)
Kuběna, Aleš Antonín - Franek, P.
Symmetries of Quasi-Values.
Algorithmic Game Theory - 6th International Symposium, SAGT 2013. Berlin: Springer, 2013, s. 159-170. Lecture Notes in Computer Science, 8146. ISBN 978-3-642-41391-9. ISSN 0302-9743.
[Symposium of Algorithmic Game Theory. Aachen (DE), 21.10.2013-25.10.2013]
R&D Projects: GA MŠMT OC10048; GA ČR(CZ) GBP402/12/G097
Institutional support: RVO:67985556
Keywords : Cooperative game * Shapley value * Group theory * Equity * Symmetry * Quasi value
Subject RIV: BA - General Mathematics
http://library.utia.cas.cz/separaty/2013/E/kubena-0398169.pdf
Permanent Link: http://hdl.handle.net/11104/0226009 - 2.0377611 - ÚI 2013 RIV CZ eng C - Conference Paper (international conference)
Ratschan, Stefan
An Algorithm for Formal Safety Verification of Complex Heterogeneous Systems.
REC 2012. Proceedings of the 5th International Conference on Reliable Engineering Computing. Brno: Litera, 2012 - (Vořechovský, M.; Sadílek, V.; Seitl, S.; Veselý, V.; Muhanna, R.; Mullen, R.), s. 457-467. ISBN 978-80-214-4507-9.
[REG 2012. International Conference on Reliable Engineering Computing /5./. Brno (CZ), 13.06.2012-15.06.2012]
R&D Projects: GA MŠMT OC10048
Institutional support: RVO:67985807
Keywords : verification * complex systems * safety
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0209721File Download Size Commentary Version Access 0377611.pdf 1 1.2 MB Author´s preprint open-access - 3.0368130 - ÚI 2012 RIV DE eng C - Conference Paper (international conference)
Franek, Peter - Ratschan, Stefan - Zgliczynski, P.
Satisfiability of Systems of Equations of Real Analytic Functions is Quasi-decidable.
Mathematical Foundations of Computer Science 2011. Berlin: Springer, 2011 - (Murlak, F.; Sankowski, P.), s. 315-326. Lecture Notes in Computer Science, 6907. ISBN 978-3-642-22992-3. ISSN 0302-9743.
[MFCS 2011. International Symposium /36./. Warsaw (PL), 22.08.2011-26.08.2011]
R&D Projects: GA MŠMT OC10048
Institutional research plan: CEZ:AV0Z10300504
Keywords : decidability * logical theories * real numbers
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0202562File Download Size Commentary Version Access a0368130.pdf 2 216 KB Publisher’s postprint require - 4.0365291 - ÚI 2012 RIV DE eng C - Conference Paper (international conference)
Dzetkulič, Tomáš - Ratschan, Stefan
Incremental Computation of Succinct Abstractions for Hybrid Systems.
Formal Modeling and Analysis of Timed Systems. Berlin: Springer, 2011 - (Fahrenberg, U.; Tripakis, s.), s. 271-285. Lecture Notes in Computer Science, 6919. ISBN 978-3-642-24309-7. ISSN 0302-9743.
[FORMATS 2011. International Conference on Formal Modeling and Analysis of Timed Systems /9./. Aalborg (DK), 21.09.2011-23.09.2011]
R&D Projects: GA ČR GC201/08/J020; GA ČR GD201/09/H057; GA MŠMT OC10048
Institutional research plan: CEZ:AV0Z10300504
Keywords : abstraction * incremental refinement * hybrid system * safety property
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0200568File Download Size Commentary Version Access a0365291.pdf 0 225.7 KB Publisher’s postprint require