These tools will no longer be maintained as of December 31, 2024. Archived website can be found here. PubMed4Hh GitHub repository can be found here. Contact NLM Customer Service if you have questions.
126 related articles for article (PubMed ID: 32806594)
21. Rules to be adopted for publishing a scientific paper. Picardi N Ann Ital Chir; 2016; 87():1-3. PubMed ID: 28474609 [TBL] [Abstract][Full Text] [Related]
22. A verification strategy for web services composition using enhanced stacked automata model. Nagamouttou D; Egambaram I; Krishnan M; Narasingam P Springerplus; 2015; 4():98. PubMed ID: 25810951 [TBL] [Abstract][Full Text] [Related]
23. Counterexample Generation for Probabilistic Model Checking Micro-Scale Cyber-Physical Systems. Liu Y; Ma Y; Yang Y; Zheng T Micromachines (Basel); 2021 Aug; 12(9):. PubMed ID: 34577703 [TBL] [Abstract][Full Text] [Related]
24. Efficient and Safe Strategies for Intersection Management: A Review. Wang J; Guo X; Yang X Sensors (Basel); 2021 Apr; 21(9):. PubMed ID: 33946781 [TBL] [Abstract][Full Text] [Related]
25. Formally verifying human-automation interaction as part of a system model: limitations and tradeoffs. Bolton ML; Bass EJ Innov Syst Softw Eng; 2010 Mar; 6(3):219-231. PubMed ID: 21572930 [TBL] [Abstract][Full Text] [Related]
27. Formal modeling and verification of fractional order linear systems. Zhao C; Shi L; Guan Y; Li X; Shi Z ISA Trans; 2016 May; 62():87-93. PubMed ID: 27126601 [TBL] [Abstract][Full Text] [Related]
28. Towards social autonomous vehicles: Efficient collision avoidance scheme using Richardson's arms race model. Riaz F; Niazi MA PLoS One; 2017; 12(10):e0186103. PubMed ID: 29040294 [TBL] [Abstract][Full Text] [Related]
30. Improved statistical model checking methods for pathway analysis. Koh CH; Palaniappan SK; Thiagarajan PS; Wong L BMC Bioinformatics; 2012; 13 Suppl 17(Suppl 17):S15. PubMed ID: 23282174 [TBL] [Abstract][Full Text] [Related]
31. A safety assessment of mixed fleets with Connected and Autonomous Vehicles using the Surrogate Safety Assessment Module. Virdi N; Grzybowska H; Waller ST; Dixit V Accid Anal Prev; 2019 Oct; 131():95-111. PubMed ID: 31233998 [TBL] [Abstract][Full Text] [Related]
32. Opportunities and limitations for intersection collision intervention-A study of real world 'left turn across path' accidents. Sander U Accid Anal Prev; 2017 Feb; 99(Pt A):342-355. PubMed ID: 28043070 [TBL] [Abstract][Full Text] [Related]
33. Developing a safety heatmap of uncontrolled intersections using both conflict probability and severity. Ma Y; Qin X; Grembek O; Chen Z Accid Anal Prev; 2018 Apr; 113():303-316. PubMed ID: 29455119 [TBL] [Abstract][Full Text] [Related]
34. 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]
36. Compositional schedulability analysis of real-time actor-based systems. Jaghoori MM; de Boer F; Longuet D; Chothia T; Sirjani M Acta Inform; 2017; 54(4):343-378. PubMed ID: 28529345 [TBL] [Abstract][Full Text] [Related]
37. Experimental Verification of Three-Degree-of-Freedom Electromagnetic Actuator for Image Stabilization. Heya A; Hirata K Sensors (Basel); 2020 Apr; 20(9):. PubMed ID: 32349418 [TBL] [Abstract][Full Text] [Related]
38. A formal proof and simple explanation of the QuickXplain algorithm. Rodler P Artif Intell Rev; 2022; 55(8):6185-6206. PubMed ID: 36337611 [TBL] [Abstract][Full Text] [Related]
39. Examining accident reports involving autonomous vehicles in California. Favarò FM; Nader N; Eurich SO; Tripp M; Varadaraju N PLoS One; 2017; 12(9):e0184952. PubMed ID: 28931022 [TBL] [Abstract][Full Text] [Related]