111 related articles for article (PubMed ID: 36502252)
1. Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks.
Zbrzezny AM; Zbrzezny A
Sensors (Basel); 2022 Dec; 22(23):. PubMed ID: 36502252
[TBL] [Abstract][Full Text] [Related]
2. 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]
3. Transfer of Temporal Logic Formulas in Reinforcement Learning.
Xu Z; Topcu U
IJCAI (U S); 2019; 28():4010-4018. PubMed ID: 31631953
[TBL] [Abstract][Full Text] [Related]
4. 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]
5. Strong Extension-Free Proof Systems.
Heule MJH; Kiesl B; Biere A
J Autom Reason; 2020; 64(3):533-554. PubMed ID: 32226181
[TBL] [Abstract][Full Text] [Related]
6. Model abstraction for discrete-event systems by binary linear programming with applications to manufacturing systems.
Cheng L; Feng L; Li Z
Sci Prog; 2021; 104(3):368504211030833. PubMed ID: 34292845
[TBL] [Abstract][Full Text] [Related]
7. Modeling and Verification of Asynchronous Systems Using Timed Integrated Model of Distributed Systems.
Daszczuk WB
Sensors (Basel); 2022 Feb; 22(3):. PubMed ID: 35161901
[TBL] [Abstract][Full Text] [Related]
8. Modelling with ANIMO: between fuzzy logic and differential equations.
Schivo S; Scholma J; van der Vet PE; Karperien M; Post JN; van de Pol J; Langerak R
BMC Syst Biol; 2016 Jul; 10(1):56. PubMed ID: 27460034
[TBL] [Abstract][Full Text] [Related]
9. Modular analysis of gene networks by linear temporal logic.
Ito S; Ichinose T; Shimakawa M; Izumi N; Hagihara S; Yonezaki N
J Integr Bioinform; 2013 Mar; 10(2):216. PubMed ID: 23525897
[TBL] [Abstract][Full Text] [Related]
10. Efficient solution of Boolean satisfiability problems with digital memcomputing.
Bearden SRB; Pei YR; Di Ventra M
Sci Rep; 2020 Nov; 10(1):19741. PubMed ID: 33184386
[TBL] [Abstract][Full Text] [Related]
11. Automatic validation of computational models using pseudo-3D spatio-temporal model checking.
Pârvu O; Gilbert D
BMC Syst Biol; 2014 Dec; 8():124. PubMed ID: 25440773
[TBL] [Abstract][Full Text] [Related]
12. DNA strand displacement system running logic programs.
Rodríguez-Patón A; Sainz de Murieta I; Sosík P
Biosystems; 2014 Jan; 115():5-12. PubMed ID: 24211259
[TBL] [Abstract][Full Text] [Related]
13. Exact acceleration of complex real-time model checking based on overlapping cycle.
Wang G; Zhuang L; Song Y; He M; Ma D; Ma L
PeerJ Comput Sci; 2020; 6():e272. PubMed ID: 33816923
[TBL] [Abstract][Full Text] [Related]
14. Too much information: Why CDCL solvers need to forget learned clauses.
Krüger T; Lorenz JH; Wörz F
PLoS One; 2022; 17(8):e0272967. PubMed ID: 36018865
[TBL] [Abstract][Full Text] [Related]
15. On the hierarchical design of biochemical-based digital computations.
Ritis D; Boulougouris GC
Comput Biol Med; 2021 Aug; 135():104630. PubMed ID: 34311298
[TBL] [Abstract][Full Text] [Related]
16. Parameterized model checking of rendezvous systems.
Aminof B; Kotek T; Rubin S; Spegni F; Veith H
Distrib Comput; 2018; 31(3):187-222. PubMed ID: 31258231
[TBL] [Abstract][Full Text] [Related]
17. Validation of biological models with temporal logic and Timed Hybrid Petri Nets.
Troncale S; Comet JP; Bernot G
Annu Int Conf IEEE Eng Med Biol Soc; 2007; 2007():4603-8. PubMed ID: 18003031
[TBL] [Abstract][Full Text] [Related]
18. Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs.
Schlaipfer M; Weissenbacher G
J Autom Reason; 2016; 57(1):3-36. PubMed ID: 30174360
[TBL] [Abstract][Full Text] [Related]
19. 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]
20. Hierarchical planning with state abstractions for temporal task specifications.
Oh Y; Patel R; Nguyen T; Huang B; Berg M; Pavlick E; Tellex S
Auton Robots; 2022; 46(6):667-683. PubMed ID: 35692555
[TBL] [Abstract][Full Text] [Related]
[Next] [New Search]
