E-LIB Suche - Ergebnisse für: Turrini, Andrea

1

Scenario Approach for Parametric Markov Models:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Liu, Ying ; Turrini, Andrea ; Hahn, Ernst Moritz.. - p. 158-180 , 2023

Link: https://doi.org/10.1007/..

2

A symbolic algorithm for the case-split rule in solving wor..:

Chen, Yu-Fang ; Havlena, Vojtěch ; Lengál, Ondřej.
Journal of Systems and Software. 201 (2023) - p. 111673 , 2023

Link: https://doi.org/10.1016/..

3

Modular Mix-and-Match Complementation of Büchi Automata:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Havlena, Vojtěch ; Lengál, Ondřej ; Li, Yong.. - p. 249-270 , 2023

Link: https://doi.org/10.1007/..

4

On the power of finite ambiguity in Büchi complementation:

Feng, Weizhi ; Li, Yong ; Turrini, Andrea..
Information and Computation. 292 (2023) - p. 105032 , 2023

Link: https://doi.org/10.1016/..

5

Divide-and-Conquer Determinization of Büchi Automata Based ..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Li, Yong ; Turrini, Andrea ; Feng, Weizhi.. - p. 152-173 , 2022

Link: https://doi.org/10.1007/..

6

EPMC Gets Knowledge in Multi-agent Systems:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Fu, Chen ; Hahn, Ernst Moritz ; Li, Yong... - p. 93-107 , 2022

Link: https://doi.org/10.1007/..

7

Probabilistic Preference Planning Problem for Markov Decisi..:

Li, Meilun ; Turrini, Andrea ; Hahn, Ernst Moritz..
IEEE Transactions on Software Engineering. 48 (2022) 5 - p. 1545-1559 , 2022

Link: https://doi.org/10.1109/..

8

Synthesizing ranking functions for loop programs via SVM:

Li, Yi ; Li, Xie ; Li, Yong...
Theoretical Computer Science. 935 (2022) - p. 1-20 , 2022

Link: https://doi.org/10.1016/..

9

An Introduction to Quantum Model Checking:

Turrini, Andrea
Applied Sciences. 12 (2022) 4 - p. 2016 , 2022

Link: https://doi.org/10.3390/..

10

On Correctness, Precision, and Performance in Quantitative ..:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends; Lecture Notes in Computer Science,

Budde, Carlos E. ; Hartmanns, Arnd ; Klauck, Michaela... - p. 216-241 , 2021

Link: https://doi.org/10.1007/..

11

Congruence Relations for Büchi Automata:

, In: Formal Methods; Lecture Notes in Computer Science,

Li, Yong ; Tsay, Yih-Kuen ; Turrini, Andrea.. - p. 465-482 , 2021

Link: https://doi.org/10.1007/..

12

A Symbolic Algorithm for the Case-Split Rule in String Cons..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Chen, Yu-Fang ; Havlena, Vojtěch ; Lengál, Ondřej. - p. 343-363 , 2020

Link: https://doi.org/10.1007/..

13

Modelling and Implementation of Unmanned Aircraft Collision..:

, In: Dependable Software Engineering. Theories, Tools, and Applications; Lecture Notes in Computer Science,

Feng, Weizhi ; Huang, Cheng-Chao ; Turrini, Andrea. - p. 52-69 , 2020

Link: https://doi.org/10.1007/..

14

SVMRanker: a general termination analysis framework of loop..:

, In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Li, Xie ; Li, Yi ; Li, Yong... - p. 1635-1639 , 2020

Link: https://dl.acm.org/doi/1..

15

Proving Non-inclusion of Büchi Automata Based on Monte Carl..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Li, Yong ; Turrini, Andrea ; Sun, Xuechao. - p. 467-483 , 2020

Link: https://doi.org/10.1007/..