Výsledky vyhledávání
- 1.0398169 - ÚTIA 2014 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA MŠMT OC10048; GA ČR(CZ) GBP402/12/G097
Institucionální podpora: RVO:67985556
Klíčová slova: Cooperative game * Shapley value * Group theory * Equity * Symmetry * Quasi value
Kód oboru RIV: BA - Obecná matematika
http://library.utia.cas.cz/separaty/2013/E/kubena-0398169.pdf
Trvalý link: http://hdl.handle.net/11104/0226009 - 2.0377611 - ÚI 2013 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA MŠMT OC10048
Institucionální podpora: RVO:67985807
Klíčová slova: verification * complex systems * safety
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0209721Název souboru Staženo Velikost Komentář Verze Přístup 0377611.pdf 1 1.2 MB Autorský preprint povolen - 3.0368130 - ÚI 2012 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA MŠMT OC10048
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: decidability * logical theories * real numbers
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0202562Název souboru Staženo Velikost Komentář Verze Přístup a0368130.pdf 2 216 KB Vydavatelský postprint vyžádat - 4.0365291 - ÚI 2012 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR GC201/08/J020; GA ČR GD201/09/H057; GA MŠMT OC10048
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: abstraction * incremental refinement * hybrid system * safety property
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0200568Název souboru Staženo Velikost Komentář Verze Přístup a0365291.pdf 0 225.7 KB Vydavatelský postprint vyžádat