126 related articles for article (PubMed ID: 32806594)
1. 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]
2. Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach.
Foughali M; Zuepke A
Front Robot AI; 2022; 9():791757. PubMed ID: 35494538
[TBL] [Abstract][Full Text] [Related]
3. A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions.
Kunnappilly A; Marinescu R; Seceleanu C
Sensors (Basel); 2019 Nov; 19(22):. PubMed ID: 31752450
[TBL] [Abstract][Full Text] [Related]
4. AIM5LA: A Latency-Aware Deep Reinforcement Learning-Based Autonomous Intersection Management System for 5G Communication Networks.
Antonio GP; Maria-Dolores C
Sensors (Basel); 2022 Mar; 22(6):. PubMed ID: 35336388
[TBL] [Abstract][Full Text] [Related]
5. Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.
Farrell M; Mavrakis N; Ferrando A; Dixon C; Gao Y
Front Robot AI; 2021; 8():639282. PubMed ID: 35155585
[TBL] [Abstract][Full Text] [Related]
6. 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]
7. Predicting crash-relevant violations at stop sign-controlled intersections for the development of an intersection driver assistance system.
Scanlon JM; Sherony R; Gabler HC
Traffic Inj Prev; 2016 Sep; 17 Suppl 1():59-65. PubMed ID: 27586104
[TBL] [Abstract][Full Text] [Related]
8. 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]
9. Automatic selection of verification tools for efficient analysis of biochemical models.
Bakir ME; Konur S; Gheorghe M; Krasnogor N; Stannett M
Bioinformatics; 2018 Sep; 34(18):3187-3195. PubMed ID: 29688313
[TBL] [Abstract][Full Text] [Related]
10. Intersection management for autonomous vehicles with vehicle-to-infrastructure communication.
Li Y; Liu Q
PLoS One; 2020; 15(7):e0235644. PubMed ID: 32614893
[TBL] [Abstract][Full Text] [Related]
11. Decision-Making for the Autonomous Navigation of Maritime Autonomous Surface Ships Based on Scene Division and Deep Reinforcement Learning.
Zhang X; Wang C; Liu Y; Chen X
Sensors (Basel); 2019 Sep; 19(18):. PubMed ID: 31546977
[TBL] [Abstract][Full Text] [Related]
12. Formal verification of software-based medical devices considering medical guidelines.
Daw Z; Cleaveland R; Vetter M
Int J Comput Assist Radiol Surg; 2014 Jan; 9(1):145-53. PubMed ID: 23824830
[TBL] [Abstract][Full Text] [Related]
13. An accelerated threshold-based back-projection algorithm for compton camera image reconstruction.
Mundy DW; Herman MG
Med Phys; 2011 Jan; 38(1):15-22. PubMed ID: 21361170
[TBL] [Abstract][Full Text] [Related]
14. TECH-VER: A Verification Checklist to Reduce Errors in Models and Improve Their Credibility.
Büyükkaramikli NC; Rutten-van Mölken MPMH; Severens JL; Al M
Pharmacoeconomics; 2019 Nov; 37(11):1391-1408. PubMed ID: 31705406
[TBL] [Abstract][Full Text] [Related]
15. Formal Verification for Task Description Languages. A Petri Net Approach.
López J; Santana-Alonso A; Díaz-Cacho Medina M
Sensors (Basel); 2019 Nov; 19(22):. PubMed ID: 31739526
[TBL] [Abstract][Full Text] [Related]
16. 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]
17. Model checking: recent improvements and applications.
Bošnački D; Wijs A
Int J Softw Tools Technol Transf; 2018; 20(5):493-497. PubMed ID: 30956545
[TBL] [Abstract][Full Text] [Related]
18. Autonomous emergency braking systems adapted to snowy road conditions improve drivers' perceived safety and trust.
Koglbauer I; Holzinger J; Eichberger A; Lex C
Traffic Inj Prev; 2018 Apr; 19(3):332-337. PubMed ID: 29227692
[TBL] [Abstract][Full Text] [Related]
19. Injury mitigation estimates for an intersection driver assistance system in straight crossing path crashes in the United States.
Scanlon JM; Sherony R; Gabler HC
Traffic Inj Prev; 2017 May; 18(sup1):S9-S17. PubMed ID: 28323447
[TBL] [Abstract][Full Text] [Related]
20. Basic Simulation Environment for Highly Customized Connected and Autonomous Vehicle Kinematic Scenarios.
Chai L; Cai B; ShangGuan W; Wang J; Wang H
Sensors (Basel); 2017 Aug; 17(9):. PubMed ID: 28832518
[TBL] [Abstract][Full Text] [Related]
[Next] [New Search]