Shield synthesis
type: Item
instance of: scholarly article
title: Shield synthesis
zbMATH Open document ID: 1386.68101
author: Bettina Könighofer
author: Mohammed Alshiekh
author: Roderick Bloem
author: Laura Humphrey
author: Robert Könighofer
author: Ufuk Topcu
author: Chao Wang
published in: Formal Methods in System Design
publication date: 2018-02-14T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6838880
zbMATH Keywords: synthesis
zbMATH Keywords: runtime reinforcement
zbMATH Keywords: games
zbMATH Keywords: human factors
zbMATH Keywords: UAV
describes a project that uses: ABC
MaRDI profile type: Publication
full work available at URL: s10703-017-0276-9
OpenAlex ID: W4231208998
Wikidata QID: Q59607546
cites work: Defining liveness
cites work: Permissive strategies: from parity games to safety games
cites work: Synthesizing robust systems
cites work: Cooperative Reactive Synthesis
cites work: Synthesis of Reactive(1) designs
cites work: Shield Synthesis:
cites work: Graph-Based Algorithms for Boolean Function Manipulation
cites work: Diagnostic Information for Realizability
cites work: Resilience to intermittent assumption violations in reactive synthesis
cites work: Admissible Strategies in Infinite Games over Graphs
cites work: Verified hybrid controllers for automated vehicles
cites work: A brief account of runtime verification
cites work: Algorithms for computing minimal unsatisfiable subsets of constraints
DOI: 10.1007/S10703-017-0276-9
description: scientific article; zbMATH DE number 6838880