Matches in SemOpenAlex for { <https://semopenalex.org/work/W2970796651> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2970796651 endingPage "264" @default.
- W2970796651 startingPage "249" @default.
- W2970796651 abstract "Autonomous crossing manoeuvres at intersections are especially challenging. In related work, a crossing controller for provably safe autonomous urban traffic manoeuvres was introduced. We extend this controller by a decentralised communication procedure that ensures fair behaviour of the controller and also guarantees bounded liveness. We verify the correctness of our extension by an implementation and analysis with UPPAAL Stratego." @default.
- W2970796651 created "2019-09-05" @default.
- W2970796651 creator A5060813727 @default.
- W2970796651 creator A5073037558 @default.
- W2970796651 date "2020-01-01" @default.
- W2970796651 modified "2023-09-27" @default.
- W2970796651 title "Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections" @default.
- W2970796651 cites W1570655507 @default.
- W2970796651 cites W165547515 @default.
- W2970796651 cites W1962072139 @default.
- W2970796651 cites W1969268070 @default.
- W2970796651 cites W2013791478 @default.
- W2970796651 cites W2101508170 @default.
- W2970796651 cites W2113045098 @default.
- W2970796651 cites W2131457664 @default.
- W2970796651 cites W2137514195 @default.
- W2970796651 cites W2146363089 @default.
- W2970796651 cites W2788161314 @default.
- W2970796651 cites W2912198824 @default.
- W2970796651 cites W3103295862 @default.
- W2970796651 cites W4256369226 @default.
- W2970796651 doi "https://doi.org/10.1007/978-3-030-54994-7_18" @default.
- W2970796651 hasPublicationYear "2020" @default.
- W2970796651 type Work @default.
- W2970796651 sameAs 2970796651 @default.
- W2970796651 citedByCount "7" @default.
- W2970796651 countsByYear W29707966512021 @default.
- W2970796651 countsByYear W29707966512022 @default.
- W2970796651 countsByYear W29707966512023 @default.
- W2970796651 crossrefType "book-chapter" @default.
- W2970796651 hasAuthorship W2970796651A5060813727 @default.
- W2970796651 hasAuthorship W2970796651A5073037558 @default.
- W2970796651 hasConcept C11413529 @default.
- W2970796651 hasConcept C120314980 @default.
- W2970796651 hasConcept C134306372 @default.
- W2970796651 hasConcept C15569618 @default.
- W2970796651 hasConcept C199360897 @default.
- W2970796651 hasConcept C203479927 @default.
- W2970796651 hasConcept C2778029271 @default.
- W2970796651 hasConcept C33923547 @default.
- W2970796651 hasConcept C34388435 @default.
- W2970796651 hasConcept C41008148 @default.
- W2970796651 hasConcept C55439883 @default.
- W2970796651 hasConcept C6557445 @default.
- W2970796651 hasConcept C79403827 @default.
- W2970796651 hasConcept C86803240 @default.
- W2970796651 hasConceptScore W2970796651C11413529 @default.
- W2970796651 hasConceptScore W2970796651C120314980 @default.
- W2970796651 hasConceptScore W2970796651C134306372 @default.
- W2970796651 hasConceptScore W2970796651C15569618 @default.
- W2970796651 hasConceptScore W2970796651C199360897 @default.
- W2970796651 hasConceptScore W2970796651C203479927 @default.
- W2970796651 hasConceptScore W2970796651C2778029271 @default.
- W2970796651 hasConceptScore W2970796651C33923547 @default.
- W2970796651 hasConceptScore W2970796651C34388435 @default.
- W2970796651 hasConceptScore W2970796651C41008148 @default.
- W2970796651 hasConceptScore W2970796651C55439883 @default.
- W2970796651 hasConceptScore W2970796651C6557445 @default.
- W2970796651 hasConceptScore W2970796651C79403827 @default.
- W2970796651 hasConceptScore W2970796651C86803240 @default.
- W2970796651 hasLocation W29707966511 @default.
- W2970796651 hasOpenAccess W2970796651 @default.
- W2970796651 hasPrimaryLocation W29707966511 @default.
- W2970796651 hasRelatedWork W1496766904 @default.
- W2970796651 hasRelatedWork W197626907 @default.
- W2970796651 hasRelatedWork W201372435 @default.
- W2970796651 hasRelatedWork W2059229220 @default.
- W2970796651 hasRelatedWork W2135815029 @default.
- W2970796651 hasRelatedWork W2376727710 @default.
- W2970796651 hasRelatedWork W2525154678 @default.
- W2970796651 hasRelatedWork W2703924393 @default.
- W2970796651 hasRelatedWork W2797563685 @default.
- W2970796651 hasRelatedWork W2937603827 @default.
- W2970796651 isParatext "false" @default.
- W2970796651 isRetracted "false" @default.
- W2970796651 magId "2970796651" @default.
- W2970796651 workType "book-chapter" @default.