受强制性开放获取政策约束的文章 - Andrea Turrini了解详情
无法在其他位置公开访问的文章：4 篇
A symbolic algorithm for the case-split rule in string constraint solving
YF Chen, V Havlena, O Lengál, A Turrini
Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka …, 2020
强制性开放获取政策： 国家自然科学基金委员会
Modelling and implementation of unmanned aircraft collision avoidance
W Feng, CC Huang, A Turrini, Y Li
Dependable Software Engineering. Theories, Tools, and Applications: 6th …, 2020
强制性开放获取政策： 国家自然科学基金委员会
SVMRanker: a general termination analysis framework of loop programs via SVM
X Li, Y Li, Y Li, X Sun, A Turrini, L Zhang
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
强制性开放获取政策： 国家自然科学基金委员会
A Scenario Approach for Parametric Markov Decision Processes
Z Chi, Y Liu, A Turrini, L Zhang, DN Jansen
Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024
强制性开放获取政策： European Commission
可在其他位置公开访问的文章：42 篇
JANI: quantitative model and tool interaction
CE Budde, C Dehnert, EM Hahn, A Hartmanns, S Junges, A Turrini
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
强制性开放获取政策： 中国科学院, 国家自然科学基金委员会, Federal Ministry of Education and …
iscasMc: A Web-Based Probabilistic Model Checker
EM Hahn, Y Li, S Schewe, A Turrini, L Zhang
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Advanced automata-based algorithms for program termination checking
YF Chen, M Heizmann, O Lengál, Y Li, MH Tsai, A Turrini, L Zhang
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
强制性开放获取政策： 中国科学院, 国家自然科学基金委员会
On correctness, precision, and performance in quantitative verification: QComp 2020 competition report
CE Budde, A Hartmanns, M Klauck, J Křetínský, D Parker, T Quatmann, ...
International symposium on leveraging applications of formal methods, 216-241, 2020
强制性开放获取政策： US National Science Foundation, 国家自然科学基金委员会, German Research …
QPMC: A Model Checker for Quantum Programs and Protocols
Y Feng, EM Hahn, A Turrini, L Zhang
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015
强制性开放获取政策： Australian Research Council, 中国科学院, 国家自然科学基金委员会
Multi-objective robust strategy synthesis for interval Markov decision processes
EM Hahn, V Hashemi, H Hermanns, M Lahijanian, A Turrini
International Conference on Quantitative Evaluation of Systems, 207-223, 2017
强制性开放获取政策： 中国科学院, 国家自然科学基金委员会, UK Engineering and Physical Sciences …
A comparative study of BDD packages for probabilistic symbolic model checking
T van Dijk, EM Hahn, DN Jansen, Y Li, T Neele, M Stoelinga, A Turrini, ...
Dependable Software Engineering: Theories, Tools, and Applications: First …, 2015
强制性开放获取政策： 中国科学院, 国家自然科学基金委员会
The quest for minimal quotients for probabilistic automata
C Eisentraut, H Hermanns, J Schuster, A Turrini, L Zhang
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
强制性开放获取政策： German Research Foundation
Interval Markov decision processes with multiple objectives: from robust strategies to Pareto curves
EM Hahn, V Hashemi, H Hermanns, M Lahijanian, A Turrini
ACM Transactions on Modeling and Computer Simulation (TOMACS) 29 (4), 1-31, 2019
强制性开放获取政策： 中国科学院, 国家自然科学基金委员会, German Research Foundation, UK …
Model checking omega-regular properties for quantum Markov chains
Y Feng, EM Hahn, A Turrini, S Ying
28th International Conference on Concurrency Theory, CONCUR 2017, September …, 2017
强制性开放获取政策： Australian Research Council, 中国科学院, 国家自然科学基金委员会
Deciding bisimilarities on distributions
C Eisentraut, H Hermanns, J Krämer, A Turrini, L Zhang
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013 …, 2013
强制性开放获取政策： German Research Foundation
ROLL 1.0:-regular language learning library
Y Li, X Sun, A Turrini, YF Chen, J Xu
International Conference on Tools and Algorithms for the Construction and …, 2019
强制性开放获取政策： 国家自然科学基金委员会
Polynomial time decision algorithms for probabilistic automata
A Turrini, H Hermanns
Information and computation 244, 134-171, 2015
强制性开放获取政策： 中国科学院, 国家自然科学基金委员会, German Research Foundation
Model checking probabilistic epistemic logic for probabilistic multiagent systems
C Fu, A Turrini, X Huang, L Song, Y Feng, L Zhang
IJCAI International Joint Conference on Artificial Intelligence, 2018
强制性开放获取政策： Australian Research Council, 中国科学院, 国家自然科学基金委员会
Learning to complement Büchi automata
Y Li, A Turrini, L Zhang, S Schewe
International Conference on Verification, Model Checking, and Abstract …, 2017
强制性开放获取政策： 中国科学院, 国家自然科学基金委员会, UK Engineering and Physical Sciences …
A simple algorithm for solving qualitative probabilistic parity games
EM Hahn, S Schewe, A Turrini, L Zhang
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
强制性开放获取政策： 中国科学院, 国家自然科学基金委员会, UK Engineering and Physical Sciences …
出版信息和资助信息由计算机程序自动确定