115 related articles for article (PubMed ID: 35494878)
1. 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]
2. "Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis.
Arellano G; Argil J; Azpeitia E; Benítez M; Carrillo M; Góngora P; Rosenblueth DA; Alvarez-Buylla ER
BMC Bioinformatics; 2011 Dec; 12():490. PubMed ID: 22192526
[TBL] [Abstract][Full Text] [Related]
3. 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]
4. Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets.
Grobelna I; Szcześniak P
Sensors (Basel); 2022 Sep; 22(18):. PubMed ID: 36146285
[TBL] [Abstract][Full Text] [Related]
5. 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]
6. 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]
7. Compositional RL Agents That Follow Language Commands in Temporal Logic.
Kuo YL; Katz B; Barbu A
Front Robot AI; 2021; 8():689550. PubMed ID: 34350213
[TBL] [Abstract][Full Text] [Related]
8. 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]
9. 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]
10. 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]
11. Algebraic properties of automata associated to Petri nets and applications to computation in biological systems.
Egri-Nagy A; Nehaniv CL
Biosystems; 2008; 94(1-2):135-44. PubMed ID: 18611428
[TBL] [Abstract][Full Text] [Related]
12. Temporal logics for phylogenetic analysis via model checking.
Requeno JI; Casado Gde M; Blanco R; Colom JM
IEEE/ACM Trans Comput Biol Bioinform; 2013; 10(4):1058-70. PubMed ID: 24334397
[TBL] [Abstract][Full Text] [Related]
13. Reasoning about clinical guidelines based on algebraic data types and constraint logic programming.
Pérez B
J Biomed Inform; 2019 Apr; 92():103134. PubMed ID: 30831315
[TBL] [Abstract][Full Text] [Related]
14. Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking.
Chouhan AP; Banda G
Sensors (Basel); 2020 Aug; 20(16):. PubMed ID: 32806594
[TBL] [Abstract][Full Text] [Related]
15. Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption.
Blahoudek F; Cubuktepe M; Novotný P; Ornik M; Thangeda P; Topcu U
FME; 2021; 13047():640-656. PubMed ID: 35072175
[TBL] [Abstract][Full Text] [Related]
16. 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]
17. 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]
18. On-line verification of initial-state opacity by Petri nets and integer linear programming.
Cong X; Fanti MP; Mangini AM; Li Z
ISA Trans; 2019 Oct; 93():108-114. PubMed ID: 30799022
[TBL] [Abstract][Full Text] [Related]
19. 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]
20. 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]
[Next] [New Search]
