Results 281 to 290 of about 1,530,272 (312)

Separation logic and logics with team semantics

Annals of Pure and Applied Logic, 2021
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Darion Haase, E. Grädel, Richard Wilke
semanticscholar   +2 more sources

Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity

Foundations of Software Technology and Theoretical Computer Science, 2020
We study the expressivity and the model checking problem of linear temporal logic with team semantics (TeamLTL). In contrast to LTL, TeamLTL is capable of defining hyperproperties, i.e., properties which relate multiple execution traces.
Jonni Virtema, Jana Hofmann, B. Finkbeiner, J. Kontinen, Fan Yang   +4 more
semanticscholar   +1 more source

Modeling Sub-Team Formations for Heterogeneous Multi-Robot Systems using Colored Petri-Net Semantics

International Conference on Distributed Computing in Sensor Systems, 2022
Equipping a single robot with all the required sensing or actuating capabilities in dynamic and evolving missions may be infeasible due to energy and payload constraints.
Mark Allison, Matthew Spradling
semanticscholar   +1 more source

Team Semantics for the Specification and Verification of Hyperproperties

International Symposium on Mathematical Foundations of Computer Science, 2017
We develop team semantics for Linear Temporal Logic (LTL) to express hyperproperties, which have recently been identified as a key concept in the verification of information flow properties.
Andreas Krebs, A. Meier, Jonni Virtema, Martin Zimmermann   +3 more
semanticscholar   +1 more source

Iterated team semantics for a hierarchy of informational types

Annals of Pure and Applied Logic, 2022
V. Punčochář
semanticscholar   +1 more source

Semantically-supported team building in a KDD virtual environment

2012 International Conference on Collaboration Technologies and Systems (CTS), 2012
Team building plays a crucial role in many collaborative projects. The use of semantic technologies and tools, like ontologies and metadata management proved to be a powerful approach to organize people competencies and support the formation of teams.
Claudia Diamantini, Domenico Potena, Emanuele Storti   +2 more
openaire   +1 more source

Oncologic emergencies and urgencies: A comprehensive review

Ca-A Cancer Journal for Clinicians, 2022
Bonnie Gould Rothberg, David E Gerber, Jason J Bischof   +2 more
exaly  

Continuous Team Semantics

2020
Kontinen Juha, Hirvonen Åsa
openaire   +1 more source

Soft‐tissue sarcoma in adults: An update on the current state of histiotype‐specific management in an era of personalized medicine

Ca-A Cancer Journal for Clinicians, 2020
Adriana C Gamboa, Alessandro Gronchi, Kenneth Cardona, Facs   +2 more
exaly  

Fragments of existential second-order logic and logics with team semantics

, 2019
Matthias Hoelzel
semanticscholar   +1 more source