114 related articles for article (PubMed ID: 36590854)
1. 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]
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. Runtime verification in uncertain environment based on probabilistic model learning.
Zhou G; Yang C; Lu P; Chen X
Math Biosci Eng; 2022 Sep; 19(12):13607-13627. PubMed ID: 36654060
[TBL] [Abstract][Full Text] [Related]
4. 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]
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. 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]
7. A Double Team Semantics for Generalized Quantifiers.
Kuusisto A
J Logic Lang Inf; 2015; 24(2):149-191. PubMed ID: 26435580
[TBL] [Abstract][Full Text] [Related]
8. Quantum Uncertainties and Holism Seem to Render Irrelevant Qudit-Semantics.
Leporini R
Entropy (Basel); 2021 Jun; 23(6):. PubMed ID: 34200729
[TBL] [Abstract][Full Text] [Related]
9. Linear Temporal Logic (LTL) Based Monitoring of Smart Manufacturing Systems.
Heddy G; Huzaifa U; Beling P; Haimes Y; Marvel J; Weiss B; LaViers A
Proc Annu Conf Progn Health Manag Soc; 2015; 6():039. PubMed ID: 28730154
[TBL] [Abstract][Full Text] [Related]
10. Robust Satisficing Decision Making for Unmanned Aerial Vehicle Complex Missions under Severe Uncertainty.
Ji X; Niu Y; Shen L
PLoS One; 2016; 11(11):e0166448. PubMed ID: 27835670
[TBL] [Abstract][Full Text] [Related]
11. A Logical Modeling of Severe Ignorance.
Bonzio S; Fano V; Graziani P; Pra Baldi M
J Philos Logic; 2023 Apr; ():1-28. PubMed ID: 37362804
[TBL] [Abstract][Full Text] [Related]
12. Impact of inhalational anesthetic agents on the baseline monitorability of motor evoked potentials during spine surgery: a review of 22,755 cervical and lumbar procedures.
Wilent WB; Tesdahl EA; Trott JT; Tassone S; Harrop JS; Klineberg EO; Sestokas AK
Spine J; 2021 Nov; 21(11):1839-1846. PubMed ID: 34274500
[TBL] [Abstract][Full Text] [Related]
13. 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]
14. 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]
15. 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]
16. Macromolecular crowding: chemistry and physics meet biology (Ascona, Switzerland, 10-14 June 2012).
Foffi G; Pastore A; Piazza F; Temussi PA
Phys Biol; 2013 Aug; 10(4):040301. PubMed ID: 23912807
[TBL] [Abstract][Full Text] [Related]
17. Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability.
Czepa C; Amiri A; Ntentos E; Zdun U
Softw Syst Model; 2019; 18(6):3331-3371. PubMed ID: 31975976
[TBL] [Abstract][Full Text] [Related]
18. Generalized rough and fuzzy rough automata for semantic computing.
Yadav S; Tiwari SP; Kumari M; Yadav VK
Int J Mach Learn Cybern; 2022; 13(12):4013-4032. PubMed ID: 36164557
[TBL] [Abstract][Full Text] [Related]
19. 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]
20.
; ; . PubMed ID:
[No Abstract] [Full Text] [Related]
[Next] [New Search]
