108 related articles for article (PubMed ID: 32189717)
1. Synthesis from hyperproperties.
Finkbeiner B; Hahn C; Lukert P; Stenger M; Tentrup L
Acta Inform; 2020; 57(1):137-163. PubMed ID: 32189717
[TBL] [Abstract][Full Text] [Related]
2. Monitoring hyperproperties.
Finkbeiner B; Hahn C; Stenger M; Tentrup L
Form Methods Syst Des; 2019; 54(3):336-363. PubMed ID: 31806925
[TBL] [Abstract][Full Text] [Related]
3. From LTL to rLTL monitoring: improved monitorability through robust semantics.
Mascle C; Neider D; Schwenger M; Tabuada P; Weinert A; Zimmermann M
Form Methods Syst Des; 2021; 59(1-3):170-204. PubMed ID: 36590854
[TBL] [Abstract][Full Text] [Related]
4. Live synthesis.
Finkbeiner B; Klein F; Metzger N
Innov Syst Softw Eng; 2022; 18(3):443-454. PubMed ID: 36118300
[TBL] [Abstract][Full Text] [Related]
5. starMC: an automata based CTL* model checker.
Amparore EG; Donatelli S; Gallà F
PeerJ Comput Sci; 2022; 8():e823. PubMed ID: 35494878
[TBL] [Abstract][Full Text] [Related]
6. Mutation testing with hyperproperties.
Fellner A; Tabaei Befrouei M; Weissenbacher G
Softw Syst Model; 2021; 20(2):405-427. PubMed ID: 34720800
[TBL] [Abstract][Full Text] [Related]
7. Formalizing the use case model: A model-based approach.
Zaman QU; Nadeem A; Sindhu MA
PLoS One; 2020; 15(4):e0231534. PubMed ID: 32310952
[TBL] [Abstract][Full Text] [Related]
8. Quantum measurement occurrence is undecidable.
Eisert J; Müller MP; Gogolin C
Phys Rev Lett; 2012 Jun; 108(26):260501. PubMed ID: 23004944
[TBL] [Abstract][Full Text] [Related]
9. Visual Analysis of Hyperproperties for Understanding Model Checking Results.
Horak T; Coenen N; Metzger N; Hahn C; Flemisch T; Mendez J; Dimov D; Finkbeiner B; Dachselt R
IEEE Trans Vis Comput Graph; 2022 Jan; 28(1):357-367. PubMed ID: 34587083
[TBL] [Abstract][Full Text] [Related]
10. Fuzzy branching temporal logic.
Moon SI; Lee KH; Lee D
IEEE Trans Syst Man Cybern B Cybern; 2004 Apr; 34(2):1045-55. PubMed ID: 15376850
[TBL] [Abstract][Full Text] [Related]
11. Limit, logic, and computation.
Freedman MH
Proc Natl Acad Sci U S A; 1998 Jan; 95(1):95-7. PubMed ID: 9419334
[TBL] [Abstract][Full Text] [Related]
12. Fuzzy-trace theory: dual processes in memory, reasoning, and cognitive neuroscience.
Brainerd CJ; Reyna VF
Adv Child Dev Behav; 2001; 28():41-100. PubMed ID: 11605365
[TBL] [Abstract][Full Text] [Related]
13. Universal fault-tolerant quantum computation on decoherence-free subspaces.
Bacon D; Kempe J; Lidar DA; Whaley KB
Phys Rev Lett; 2000 Aug; 85(8):1758-61. PubMed ID: 10970607
[TBL] [Abstract][Full Text] [Related]
14. Mobile Robot Networks for Environmental Monitoring: A Cooperative Receding Horizon Temporal Logic Control Approach.
Lu Q; Han QL
IEEE Trans Cybern; 2019 Feb; 49(2):698-711. PubMed ID: 30452384
[TBL] [Abstract][Full Text] [Related]
15. Backdoors for Linear Temporal Logic.
Meier A; Ordyniak S; Ramanujan MS; Schindler I
Algorithmica; 2019; 81(2):476-496. PubMed ID: 30828121
[TBL] [Abstract][Full Text] [Related]
16. Algorithmic games for full ground references.
Murawski AS; Tzevelekos N
Form Methods Syst Des; 2018; 52(3):277-314. PubMed ID: 31258247
[TBL] [Abstract][Full Text] [Related]
17. Analyzing phylogenetic trees with timed and probabilistic model checking: the lactose persistence case study.
Requeno JI; Colom JM
J Integr Bioinform; 2014 Oct; 11(3):248. PubMed ID: 25339082
[TBL] [Abstract][Full Text] [Related]
18. Evaluation of properties over phylogenetic trees using stochastic logics.
Requeno JI; Colom JM
BMC Bioinformatics; 2016 Jun; 17(1):235. PubMed ID: 27301397
[TBL] [Abstract][Full Text] [Related]
19. Robust Adaptive Fault-Tolerant Tracking Control for Nonaffine Stochastic Nonlinear Systems With Full-State Constraints.
Wu LB; Park JH; Zhao NN
IEEE Trans Cybern; 2020 Aug; 50(8):3793-3805. PubMed ID: 31545765
[TBL] [Abstract][Full Text] [Related]
20. Model Checking Temporal Logic Formulas Using Sticker Automata.
Zhu W; Feng C; Wu H
Biomed Res Int; 2017; 2017():7941845. PubMed ID: 29119114
[TBL] [Abstract][Full Text] [Related]
[Next] [New Search]