PropertyValue
?:abstract
  • Hybrid games combine discrete, continuous, and adversarial dynamics. Differential game logic ([Image: see text]) enables proving (classical) existence of winning strategies. We introduce constructive differential game logic (CdGL) for hybrid games, where proofs that a player can win the game correspond to computable winning strategies. This constitutes the logical foundation for synthesis of correct control and monitoring code for safety-critical cyber-physical systems. Our contributions include novel semantics as well as soundness and consistency.
?:creator
?:doi
?:doi
  • 10.1007/978-3-030-51074-9_26
?:externalLink
?:journal
  • Automated_Reasoning
?:license
  • cc-by
?:pdf_json_files
  • document_parses/pdf_json/51bf2ede5d05f9294df44dc2ede16dd4e4f1df89.json
?:pmc_json_files
  • document_parses/pmc_json/PMC7324283.xml.json
?:pmcid
?:publication_isRelatedTo_Disease
?:sha_id
?:source
  • PMC
?:title
  • Constructive Hybrid Games
?:type
?:year
  • 2020-05-30

Metadata

Anon_0  
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/net/provenance/ns#DataItem>
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/03/trix/rdfg-1/Graph>
<http://xmlns.com/foaf/0.1/primaryTopic> <https://research.tib.eu/covid-19/entity/sv5ll441>
<http://xmlns.com/foaf/0.1/topic> Anon_0
<http://www.ontologydesignpatterns.org/cp/owl/informationrealization.owl#realizes> <https://research.tib.eu/covid-19/data/entity/sv5ll441>
<http://purl.org/net/provenance/ns#createdBy>
Anon_1   (more)
expand all