Matches in SemOpenAlex for { <https://semopenalex.org/work/W3042934959> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W3042934959 abstract "Vehicle-to-Vehicle (V2V) and Vehicle-to-Infrastructure (V2I) technologies (together, V2X) will enable vehicles, ranging from cars to trucks to buses to pedestrians to wirelessly exchange important safety and congestion information. This exchange is expected to help save lives, prevent injuries and ease traffic congestion. The realization of this promise however critically depends on the deployment of judicious wireless and vehicular control strategies (e.g., how vehicular routing choices respond to V2X messages, how wireless network schedules these messages, how traffic signals may be controlled to optimize their spread) that exploit the opportunities and stymie the obstacles that the interdependence between the wireless and transportation infrastructures introduce. To that end, one needs mechanisms to model, evaluate and control V2X, which is what we seek to obtain, by proposing deployment of formal methods in the field of V2X. Specifically, we show how a V2X system can be formally verified to assess reachability to undesirable states by modeling it as a hybrid system and then verifying the safety properties for this hybrid system via reachability." @default.
- W3042934959 created "2020-07-23" @default.
- W3042934959 creator A5018565597 @default.
- W3042934959 creator A5030456600 @default.
- W3042934959 creator A5031371794 @default.
- W3042934959 creator A5068946140 @default.
- W3042934959 creator A5082105260 @default.
- W3042934959 creator A5087919330 @default.
- W3042934959 date "2020-04-01" @default.
- W3042934959 modified "2023-09-23" @default.
- W3042934959 title "Towards formalization of wireless vehicular networking" @default.
- W3042934959 cites W172589331 @default.
- W3042934959 cites W1731920616 @default.
- W3042934959 cites W1970932506 @default.
- W3042934959 cites W1971384230 @default.
- W3042934959 cites W1983317319 @default.
- W3042934959 cites W2013791478 @default.
- W3042934959 cites W203442965 @default.
- W3042934959 cites W2099294188 @default.
- W3042934959 cites W2157939520 @default.
- W3042934959 cites W2170126201 @default.
- W3042934959 cites W2195150892 @default.
- W3042934959 cites W2294323734 @default.
- W3042934959 cites W2398746543 @default.
- W3042934959 cites W2466488952 @default.
- W3042934959 cites W2562100856 @default.
- W3042934959 cites W2595217965 @default.
- W3042934959 cites W2777944184 @default.
- W3042934959 cites W2807212456 @default.
- W3042934959 cites W2996504861 @default.
- W3042934959 cites W3040083865 @default.
- W3042934959 doi "https://doi.org/10.1109/destion50928.2020.00011" @default.
- W3042934959 hasPublicationYear "2020" @default.
- W3042934959 type Work @default.
- W3042934959 sameAs 3042934959 @default.
- W3042934959 citedByCount "0" @default.
- W3042934959 crossrefType "proceedings-article" @default.
- W3042934959 hasAuthorship W3042934959A5018565597 @default.
- W3042934959 hasAuthorship W3042934959A5030456600 @default.
- W3042934959 hasAuthorship W3042934959A5031371794 @default.
- W3042934959 hasAuthorship W3042934959A5068946140 @default.
- W3042934959 hasAuthorship W3042934959A5082105260 @default.
- W3042934959 hasAuthorship W3042934959A5087919330 @default.
- W3042934959 hasConcept C105339364 @default.
- W3042934959 hasConcept C108037233 @default.
- W3042934959 hasConcept C111919701 @default.
- W3042934959 hasConcept C120314980 @default.
- W3042934959 hasConcept C127413603 @default.
- W3042934959 hasConcept C136643341 @default.
- W3042934959 hasConcept C146978453 @default.
- W3042934959 hasConcept C165696696 @default.
- W3042934959 hasConcept C192448918 @default.
- W3042934959 hasConcept C2780241275 @default.
- W3042934959 hasConcept C31258907 @default.
- W3042934959 hasConcept C38652104 @default.
- W3042934959 hasConcept C41008148 @default.
- W3042934959 hasConcept C52121051 @default.
- W3042934959 hasConcept C555944384 @default.
- W3042934959 hasConcept C74172769 @default.
- W3042934959 hasConcept C76155785 @default.
- W3042934959 hasConcept C80444323 @default.
- W3042934959 hasConcept C94523657 @default.
- W3042934959 hasConceptScore W3042934959C105339364 @default.
- W3042934959 hasConceptScore W3042934959C108037233 @default.
- W3042934959 hasConceptScore W3042934959C111919701 @default.
- W3042934959 hasConceptScore W3042934959C120314980 @default.
- W3042934959 hasConceptScore W3042934959C127413603 @default.
- W3042934959 hasConceptScore W3042934959C136643341 @default.
- W3042934959 hasConceptScore W3042934959C146978453 @default.
- W3042934959 hasConceptScore W3042934959C165696696 @default.
- W3042934959 hasConceptScore W3042934959C192448918 @default.
- W3042934959 hasConceptScore W3042934959C2780241275 @default.
- W3042934959 hasConceptScore W3042934959C31258907 @default.
- W3042934959 hasConceptScore W3042934959C38652104 @default.
- W3042934959 hasConceptScore W3042934959C41008148 @default.
- W3042934959 hasConceptScore W3042934959C52121051 @default.
- W3042934959 hasConceptScore W3042934959C555944384 @default.
- W3042934959 hasConceptScore W3042934959C74172769 @default.
- W3042934959 hasConceptScore W3042934959C76155785 @default.
- W3042934959 hasConceptScore W3042934959C80444323 @default.
- W3042934959 hasConceptScore W3042934959C94523657 @default.
- W3042934959 hasLocation W30429349591 @default.
- W3042934959 hasOpenAccess W3042934959 @default.
- W3042934959 hasPrimaryLocation W30429349591 @default.
- W3042934959 hasRelatedWork W13424990 @default.
- W3042934959 hasRelatedWork W2418078 @default.
- W3042934959 hasRelatedWork W2810648 @default.
- W3042934959 hasRelatedWork W5096636 @default.
- W3042934959 hasRelatedWork W5393798 @default.
- W3042934959 hasRelatedWork W6785270 @default.
- W3042934959 hasRelatedWork W7141092 @default.
- W3042934959 hasRelatedWork W7362518 @default.
- W3042934959 hasRelatedWork W9430306 @default.
- W3042934959 hasRelatedWork W9560885 @default.
- W3042934959 isParatext "false" @default.
- W3042934959 isRetracted "false" @default.
- W3042934959 magId "3042934959" @default.
- W3042934959 workType "article" @default.