Matches in SemOpenAlex for { <https://semopenalex.org/work/W2573641567> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2573641567 abstract "Understanding tradeoffs among stakeholder requirements regarding liveness (something good happens) and safety (nothing bad happens) is crucial for designing sociotechnical systems (STSs). Safety-focused specifications restrict agents' actions to avoid undesired executions. However, such restrictions hinder liveness. We formalize such tradeoffs using the elements of an STS specification to understand how much a specification promotes liveness or safety. We propose metrics to measure liveness and safety, and demonstrate how constraint logic programming is used to compute such metrics." @default.
- W2573641567 created "2017-01-26" @default.
- W2573641567 creator A5020679327 @default.
- W2573641567 creator A5024218069 @default.
- W2573641567 creator A5040462724 @default.
- W2573641567 date "2016-09-01" @default.
- W2573641567 modified "2023-09-25" @default.
- W2573641567 title "Formal Understanding of Tradeoffs among Liveness and Safety Requirements" @default.
- W2573641567 cites W2008300029 @default.
- W2573641567 cites W2119162888 @default.
- W2573641567 cites W2132210624 @default.
- W2573641567 cites W2132259342 @default.
- W2573641567 cites W2132334337 @default.
- W2573641567 cites W2560230990 @default.
- W2573641567 doi "https://doi.org/10.1109/rew.2016.017" @default.
- W2573641567 hasPublicationYear "2016" @default.
- W2573641567 type Work @default.
- W2573641567 sameAs 2573641567 @default.
- W2573641567 citedByCount "0" @default.
- W2573641567 crossrefType "proceedings-article" @default.
- W2573641567 hasAuthorship W2573641567A5020679327 @default.
- W2573641567 hasAuthorship W2573641567A5024218069 @default.
- W2573641567 hasAuthorship W2573641567A5040462724 @default.
- W2573641567 hasConcept C112930515 @default.
- W2573641567 hasConcept C115903868 @default.
- W2573641567 hasConcept C127413603 @default.
- W2573641567 hasConcept C127627568 @default.
- W2573641567 hasConcept C144133560 @default.
- W2573641567 hasConcept C15569618 @default.
- W2573641567 hasConcept C199360897 @default.
- W2573641567 hasConcept C2776036281 @default.
- W2573641567 hasConcept C38652104 @default.
- W2573641567 hasConcept C41008148 @default.
- W2573641567 hasConcept C56739046 @default.
- W2573641567 hasConcept C78519656 @default.
- W2573641567 hasConceptScore W2573641567C112930515 @default.
- W2573641567 hasConceptScore W2573641567C115903868 @default.
- W2573641567 hasConceptScore W2573641567C127413603 @default.
- W2573641567 hasConceptScore W2573641567C127627568 @default.
- W2573641567 hasConceptScore W2573641567C144133560 @default.
- W2573641567 hasConceptScore W2573641567C15569618 @default.
- W2573641567 hasConceptScore W2573641567C199360897 @default.
- W2573641567 hasConceptScore W2573641567C2776036281 @default.
- W2573641567 hasConceptScore W2573641567C38652104 @default.
- W2573641567 hasConceptScore W2573641567C41008148 @default.
- W2573641567 hasConceptScore W2573641567C56739046 @default.
- W2573641567 hasConceptScore W2573641567C78519656 @default.
- W2573641567 hasLocation W25736415671 @default.
- W2573641567 hasOpenAccess W2573641567 @default.
- W2573641567 hasPrimaryLocation W25736415671 @default.
- W2573641567 hasRelatedWork W1481031713 @default.
- W2573641567 hasRelatedWork W1542873426 @default.
- W2573641567 hasRelatedWork W1813153883 @default.
- W2573641567 hasRelatedWork W2088405928 @default.
- W2573641567 hasRelatedWork W2145500633 @default.
- W2573641567 hasRelatedWork W2149101014 @default.
- W2573641567 hasRelatedWork W2169221029 @default.
- W2573641567 hasRelatedWork W2536510591 @default.
- W2573641567 hasRelatedWork W2605608181 @default.
- W2573641567 hasRelatedWork W2625833112 @default.
- W2573641567 hasRelatedWork W2728098451 @default.
- W2573641567 hasRelatedWork W2744136178 @default.
- W2573641567 hasRelatedWork W2885638877 @default.
- W2573641567 hasRelatedWork W2886471408 @default.
- W2573641567 hasRelatedWork W2901447559 @default.
- W2573641567 hasRelatedWork W2979878083 @default.
- W2573641567 hasRelatedWork W3000332042 @default.
- W2573641567 hasRelatedWork W3044548891 @default.
- W2573641567 hasRelatedWork W3132942634 @default.
- W2573641567 hasRelatedWork W909468889 @default.
- W2573641567 isParatext "false" @default.
- W2573641567 isRetracted "false" @default.
- W2573641567 magId "2573641567" @default.
- W2573641567 workType "article" @default.