Project information
Centrum excelence - Institut teoretické informatiky
(CE-ITI)
- Project Identification
- GBP202/12/G061 (kod CEP: GBP202/12/G061)
- Project Period
- 1/2012 - 12/2018
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Projects to promote excellence in basic research
- MU Faculty or unit
-
Faculty of Informatics
- prof. RNDr. Antonín Kučera, Ph.D.
- Dr. rer. nat. Achim Blumensath
- doc. RNDr. Jan Bouda, Ph.D.
- doc. RNDr. Tomáš Brázdil, Ph.D., MBA
- prof. RNDr. Petr Hliněný, Ph.D.
- doc. Mgr. Ondřej Klíma, Ph.D.
- prof. RNDr. Mojmír Křetínský, CSc.
- RNDr. Marek Kumpošt, Ph.D.
- doc. Mgr. Michal Kunc, Ph.D.
- prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
- doc. Mgr. Jan Obdržálek, PhD.
- RNDr. Andrij Stecko, Ph.D.
- prof. RNDr. Jan Strejček, Ph.D.
- Cooperating Organization
-
The Academy of Sciences of the Czech Republic
- Responsible person RNDr. Ivo Starý, CSc.
- Responsible person prof. RNDr. Jaroslav Nešetřil, DrSc.
- Responsible person prof. RNDr. Zdeněk Ryjáček, DrSc.
Centrum excelence - Institut teoretické informatiky (CE-ITI) je výzkumné centrum orientované na teoretickou informatiku a matematiku. Cílem CE-ITI je být vůdčí a respektovanou výzkumnou institucí v celosvětovém kontextu a hybnou silou české teoretické informatiky a matematiky. Za tímto účelem je v CE-ITI propojena kapacita nejlepších profesorů, mladých výzkumníků a studentů z vynikajících českých institucí. Klíčové aktivity CE-ITI lze shrnout následovně: 1) Výzkum nejvyšší kvality; speciální pozornost je věnována důležitým otevřeným problémům, aktuálním trendům a novým výzkumným směrům. 2) Výchova nové generace vědců, vyhledávání a podpora talentů. 3) Koordinace a kultivace mezinárodní spolupráce, posilování postavení české informatiky a matematiky v celosvětovém kontextu.
Publications
Total number of publications: 108
2016
-
Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams
Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, year: 2016
-
Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract)
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, year: 2016
-
Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, year: 2016
-
The value of attack-defence diagrams.
In International Conference on Principles of Security and Trust, year: 2016
-
Tighter Loop Bound Analysis
Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, year: 2016
2015
-
Complete Composition Operators for IOCO-Testing Theory
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, year: 2015
-
Compositionality for Quantitative Specifications
The 11th International Symposium on Formal Aspects of Component Software - FACS 2014, year: 2015
-
Controller Synthesis for MDPs and Frequency LTL\GU
LPAR 2015, year: 2015
-
Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
Computer Aided Verification: 27th International Conference, CAV 2015, year: 2015
-
Challenges of fiction in network security –perspective of virtualized environments
Security Protocols XXIII - 23rd International Workshop, Revised Selected Papers, year: 2015