受强制性开放获取政策约束的文章 - Ivana Cerna了解详情
可在其他位置公开访问的文章：5 篇
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M Svoreňová, J Křetínský, M Chmelík, K Chatterjee, I Černá, C Belta
Nonlinear Analysis: Hybrid Systems 23 (2017), 230-250, 2017
强制性开放获取政策： US National Science Foundation, Austrian Science Fund, European Commission
Temporal logic motion planning using POMDPs with parity objectives: Case study paper
M Svoreňová, M Chmelík, K Leahy, HF Eniser, K Chatterjee, I Černá, ...
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
强制性开放获取政策： Austrian Science Fund, European Commission
Timed automata robustness analysis via model checking
J Bendík, A Sencan, EA Gol, I Černá
Logical Methods in Computer Science 18, 2022
强制性开放获取政策： European Commission
Timed automata relaxation for reachability
J Bendík, A Sencan, EA Gol, I Černá
International Conference on Tools and Algorithms for the Construction and …, 2021
强制性开放获取政策： European Commission
Optimal observation mode scheduling for systems under temporal constraints
E Tesařová, M Svoreňová, J Barnat, I Černá
2016 American Control Conference (ACC), 1099-1104, 2016
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, European Commission
出版信息和资助信息由计算机程序自动确定