FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034338834> ?p ?o ?g. }

• W2034338834 abstract "This paper uniquely embeds high-level robot controllers with sensor data obtained from abstracting probabilistic anticipation of the behavior of dynamic obstacles. An example problem of an autonomous vehicle operating in an urban environment, in the presence of other vehicles and pedestrians, is used as motivation. The correct-by-construction controller is automatically synthesized from a set of high-level tasks, specified as temporal logic formulas. The anticipated behavior of other vehicles is abstracted to a set of propositions describing the safety of road segments at intersections, and used as the output of high-level sensors for the controller. Such an input to the controller is inherently probabilistic, and this paper investigates the types of probabilistic guarantees that can be made about the system using both formal and statistical analysis." @default.
• W2034338834 created "2016-06-24" @default.
• W2034338834 creator A5007047797 @default.
• W2034338834 creator A5020074157 @default.
• W2034338834 creator A5046516791 @default.
• W2034338834 creator A5087789612 @default.
• W2034338834 date "2012-05-01" @default.
• W2034338834 modified "2023-09-27" @default.
• W2034338834 title "Execution and analysis of high-level tasks with dynamic obstacle anticipation" @default.
• W2034338834 cites W1492487737 @default.
• W2034338834 cites W1612453857 @default.
• W2034338834 cites W1862398452 @default.
• W2034338834 cites W1967294943 @default.
• W2034338834 cites W1970269621 @default.
• W2034338834 cites W1999839266 @default.
• W2034338834 cites W2044323243 @default.
• W2034338834 cites W2064572756 @default.
• W2034338834 cites W2095273896 @default.
• W2034338834 cites W2104241562 @default.
• W2034338834 cites W2110006698 @default.
• W2034338834 cites W2127203018 @default.
• W2034338834 cites W2130786035 @default.
• W2034338834 cites W2134032706 @default.
• W2034338834 cites W2134312936 @default.
• W2034338834 cites W2134991157 @default.
• W2034338834 cites W2150765347 @default.
• W2034338834 cites W2151958719 @default.
• W2034338834 cites W2163941698 @default.
• W2034338834 cites W2180394859 @default.
• W2034338834 cites W2294550606 @default.
• W2034338834 doi "https://doi.org/10.1109/icra.2012.6224980" @default.
• W2034338834 hasPublicationYear "2012" @default.
• W2034338834 type Work @default.
• W2034338834 sameAs 2034338834 @default.
• W2034338834 citedByCount "6" @default.
• W2034338834 countsByYear W20343388342013 @default.
• W2034338834 countsByYear W20343388342014 @default.
• W2034338834 countsByYear W20343388342015 @default.
• W2034338834 countsByYear W20343388342017 @default.
• W2034338834 countsByYear W20343388342020 @default.
• W2034338834 crossrefType "proceedings-article" @default.
• W2034338834 hasAuthorship W2034338834A5007047797 @default.
• W2034338834 hasAuthorship W2034338834A5020074157 @default.
• W2034338834 hasAuthorship W2034338834A5046516791 @default.
• W2034338834 hasAuthorship W2034338834A5087789612 @default.
• W2034338834 hasConcept C127413603 @default.
• W2034338834 hasConcept C133731056 @default.
• W2034338834 hasConcept C154945302 @default.
• W2034338834 hasConcept C171146098 @default.
• W2034338834 hasConcept C176777502 @default.
• W2034338834 hasConcept C177264268 @default.
• W2034338834 hasConcept C17744445 @default.
• W2034338834 hasConcept C199360897 @default.
• W2034338834 hasConcept C199539241 @default.
• W2034338834 hasConcept C19966478 @default.
• W2034338834 hasConcept C203479927 @default.
• W2034338834 hasConcept C2776650193 @default.
• W2034338834 hasConcept C41008148 @default.
• W2034338834 hasConcept C49937458 @default.
• W2034338834 hasConcept C6557445 @default.
• W2034338834 hasConcept C79403827 @default.
• W2034338834 hasConcept C79487989 @default.
• W2034338834 hasConcept C86803240 @default.
• W2034338834 hasConcept C90509273 @default.
• W2034338834 hasConceptScore W2034338834C127413603 @default.
• W2034338834 hasConceptScore W2034338834C133731056 @default.
• W2034338834 hasConceptScore W2034338834C154945302 @default.
• W2034338834 hasConceptScore W2034338834C171146098 @default.
• W2034338834 hasConceptScore W2034338834C176777502 @default.
• W2034338834 hasConceptScore W2034338834C177264268 @default.
• W2034338834 hasConceptScore W2034338834C17744445 @default.
• W2034338834 hasConceptScore W2034338834C199360897 @default.
• W2034338834 hasConceptScore W2034338834C199539241 @default.
• W2034338834 hasConceptScore W2034338834C19966478 @default.
• W2034338834 hasConceptScore W2034338834C203479927 @default.
• W2034338834 hasConceptScore W2034338834C2776650193 @default.
• W2034338834 hasConceptScore W2034338834C41008148 @default.
• W2034338834 hasConceptScore W2034338834C49937458 @default.
• W2034338834 hasConceptScore W2034338834C6557445 @default.
• W2034338834 hasConceptScore W2034338834C79403827 @default.
• W2034338834 hasConceptScore W2034338834C79487989 @default.
• W2034338834 hasConceptScore W2034338834C86803240 @default.
• W2034338834 hasConceptScore W2034338834C90509273 @default.
• W2034338834 hasLocation W20343388341 @default.
• W2034338834 hasOpenAccess W2034338834 @default.
• W2034338834 hasPrimaryLocation W20343388341 @default.
• W2034338834 hasRelatedWork W1492487737 @default.
• W2034338834 hasRelatedWork W1967294943 @default.
• W2034338834 hasRelatedWork W1970269621 @default.
• W2034338834 hasRelatedWork W2052111476 @default.
• W2034338834 hasRelatedWork W2071797744 @default.
• W2034338834 hasRelatedWork W2085987240 @default.
• W2034338834 hasRelatedWork W2086776621 @default.
• W2034338834 hasRelatedWork W2104241562 @default.
• W2034338834 hasRelatedWork W2114328001 @default.
• W2034338834 hasRelatedWork W2119414530 @default.
• W2034338834 hasRelatedWork W2122825054 @default.
• W2034338834 hasRelatedWork W2127203018 @default.
• W2034338834 hasRelatedWork W2134032706 @default.
• W2034338834 hasRelatedWork W2134312936 @default.

• next