受强制性开放获取政策约束的文章 - Jan Strejček了解详情
无法在其他位置公开访问的文章：1 篇
ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata
J Major, F Blahoudek, J Strejček, M Sasaráková, T Zbončáková
International Symposium on Automated Technology for Verification and …, 2019
强制性开放获取政策： National Fund for Scientific Research, Belgium
可在其他位置公开访问的文章：9 篇
The Hanoi Omega-Automata Format
T Babiak, F Blahoudek, A Duret-Lutz, J Klein, J Křetínský, D Müller, ...
CAV, 479-486, 2015
强制性开放获取政策： Austrian Science Fund, German Research Foundation, European Commission
Complementing semi-deterministic Büchi automata
F Blahoudek, M Heizmann, S Schewe, J Strejček, MH Tsai
International Conference on Tools and Algorithms for the Construction and …, 2016
强制性开放获取政策： German Research Foundation, UK Engineering and Physical Sciences Research …
Seminator 2 can complement generalized Büchi automata via improved semi-determinization
F Blahoudek, A Duret-Lutz, J Strejček
International Conference on Computer Aided Verification, 15-27, 2020
强制性开放获取政策： US Department of Defense, National Fund for Scientific Research, Belgium
Generic emptiness check for fun and profit
C Baier, F Blahoudek, A Duret-Lutz, J Klein, D Müller, J Strejček
International Symposium on Automated Technology for Verification and …, 2019
强制性开放获取政策： National Fund for Scientific Research, Belgium, German Research Foundation
LTL to smaller self-loop alternating automata and back
F Blahoudek, J Major, J Strejček
International Colloquium on Theoretical Aspects of Computing, 152-171, 2019
强制性开放获取政策： National Fund for Scientific Research, Belgium
Reducing acceptance marks in Emerson-Lei automata by QBF solving
T Schwarzová, J Strejček, J Major
26th International Conference on Theory and Applications of Satisfiability …, 2023
强制性开放获取政策： European Commission
Tighter loop bound analysis
P Čadek, J Strejček, M Trtík
Automated Technology for Verification and Analysis: 14th International …, 2016
强制性开放获取政策： Austrian Science Fund, Vienna Science and Technology Fund, Austria
Tighter Construction of Tight Büchi Automata
M Jankola, J Strejček
International Conference on Foundations of Software Science and Computation …, 2024
强制性开放获取政策： European Commission
LTL to self-loop alternating automata with generic acceptance and back
F Blahoudek, J Major, J Strejček
Theoretical Computer Science 840, 122-142, 2020
强制性开放获取政策： US Department of Defense
出版信息和资助信息由计算机程序自动确定