Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Sarah M. Loos"'
Publikováno v:
International Journal on Software Tools for Technology Transfer. 23:827-827
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::edef5ec18d6c233bd72bbdf2ad8ad757
https://doi.org/10.1007/s10009-021-00643-x
https://doi.org/10.1007/s10009-021-00643-x
Publikováno v:
AAAI
This paper presents the first use of graph neural networks (GNNs) for higher-order proof search and demonstrates that GNNs can improve upon state-of-the-art results in this domain. Interactive, higher-order theorem provers allow for the formalization
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::facba764e5a96e21145af2f61af083c7
Publikováno v:
International Journal on Software Tools for Technology Transfer. 18:67-91
This paper is a tutorial on how to model hybrid systems as hybrid programs in differential dynamic logic and how to prove complex properties about these complex hybrid systems in KeYmaera, an automatic and interactive formal verification tool for hyb
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f01c17e88725fb365994110c266c1005
https://doi.org/10.1007/s10009-015-0367-0
https://doi.org/10.1007/s10009-015-0367-0
Publikováno v:
EPiC Series in Computing volume 46
LPAR
LPAR
Deep learning techniques lie at the heart of several significant AI advances in recent years including object recognition and detection, image captioning, machine translation, speech recognition and synthesis, and playing the game of Go.Automated fir
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7f5399e706d567e7e795a1223643e6ef
Autor:
André Platzer, Sarah M. Loos
Publikováno v:
LICS
We introduce differential refinement logic (dRL), a logic with first-class support for refinement relations on hybrid systems, and a proof calculus for verifying such relations. dRL simultaneously solves several seemingly different challenges common
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8f3a21d7ead36c6fe8e58dfcc2875c61
https://doi.org/10.1145/2933575.2934555
https://doi.org/10.1145/2933575.2934555
Publikováno v:
HSCC
As airspace becomes ever more crowded, air traffic management must reduce both space and time between aircraft to increase throughput, making on-board collision avoidance systems ever more important. These safety-critical systems must be extremely re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::31aa62dfa1df87ae50668809a7ad0ad0
https://doi.org/10.1145/2461328.2461350
https://doi.org/10.1145/2461328.2461350
Publikováno v:
ICCPS
We study how CPS technology can help improve freeway traffic by combining local car GPS positioning, traffic center control decisions, and communication to achieve more tightly coupled feedback control in intelligent speed adaptation. We develop mode
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::698faa56c49630a486613b5ebe7decb6
https://doi.org/10.1109/iccps.2012.25
https://doi.org/10.1109/iccps.2012.25
Publikováno v:
CDC/ECC
Current methods for designing cyber-physical systems lack a unifying framework due to the heterogeneous nature of the constituent models and their respective analysis and verification tools. There is a need for a formal representation of the relation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6f13619f18ed778d2c33581faa459fc1
https://doi.org/10.1109/cdc.2011.6161408
https://doi.org/10.1109/cdc.2011.6161408
Autor:
André Platzer, Sarah M. Loos
Publikováno v:
ITSC
Intelligent vehicle systems have interesting prospects for solving inefficiencies and risks in ground transportation, e.g., by making cars aware of their environment and regulating speed intelligently. If the computer control technology reacts fast e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0587d1c0423900b47e7fe982380db2b9
https://doi.org/10.1109/itsc.2011.6083138
https://doi.org/10.1109/itsc.2011.6083138
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642214363
FM
FM
Car safety measures can be most effective when the cars on a street coordinate their control actions using distributed cooperative control. While each car optimizes its navigation planning locally to ensure the driver reaches his destination, all car
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::879f1e7b12d5ce5eb68cb3720afd5f05
https://doi.org/10.1007/978-3-642-21437-0_6
https://doi.org/10.1007/978-3-642-21437-0_6