Results 11 to 20 of about 6,864,933 (152)
Modelling and verification of multiple UAV mission Using SMV [PDF]
, 2009 Presented at Formal Methods for Aeronautics, November 3, 2009, Eindhoven, NetherlandsModel checking has been used to verify the correctness of digital circuits, security protocols, communication protocols, as they can be modelled by means of finite ...
Tsourdos, Antonios +3 more
core +8 more sources
Local Search and the Evolution of World Models
Topics in Cognitive Science, EarlyView., 2023 Abstract An open question regarding how people develop their models of the world is how new candidates are generated for consideration out of infinitely many possibilities. We discuss the role that evolutionary mechanisms play in this process. Specifically, we argue that when it comes to developing a global world model, innovation is necessarily ...
Neil R. Bramley +3 more
wiley +1 more source
Use case to Kripke structure and LTL formula Generator Tool
, 2020 This tool generates a Kripke structure and LTL formulas from a use case description. It requires Java Runtime Environment (JRE) and GraphViz for its execution. The JRE can be found at https://www.java.com/en/download/. The GrpahViz can be found at https:/
Qamar uz Zaman +2 more
core +3 more sources
Social Choice Methods for Database Aggregation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Knowledge can be represented compactly in multiple ways, from a set of propositional formulas, to a Kripke model, to a database. In this paper we study the aggregation of information coming from multiple sources, each source submitting a database ...
Francesco Belardinelli, Umberto Grandi
doaj +1 more source
VERIFICATION OF DYNAMIC MEMORY ALLOCATORS BASED ON SYMBOLIC PROGRAM EXECUTION [PDF]
Научно-технический вестник информационных технологий, механики и оптики, 2020 Subject of Research. The paper presents the study of vulnerability exploitation techniques in the implementation of dynamic memory allocation algorithms (glibc library allocator): Poisoned Null-byte, Overlapped Chunks, Fastbin Attack, Unsafe Unlink ...
Andrey M. Dergachev +4 more
doaj +1 more source
A Semi-Automatic Semantic Consistency-Checking Method for Learning Ontology from Relational Database
Information, 2021 To tackle the issues of semantic collision and inconsistencies between ontologies and the original data model while learning ontology from relational database (RDB), a semi-automatic semantic consistency checking method based on graph intermediate ...
Chuangtao Ma +2 more
doaj +1 more source
Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Bi-Intuitionistic Stable Tense Logics (BIST Logics) are tense logics with a Kripke semantics where worlds in a frame are equipped with a pre-order as well as with an accessibility relation which is 'stable' with respect to this pre-order.
Katsuhiko Sano, John G. Stell
doaj +1 more source
Categories for Dynamic Epistemic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 The primary goal of this paper is to recast the semantics of modal logic, and dynamic epistemic logic (DEL) in particular, in category-theoretic terms. We first review the category of relations and categories of Kripke frames, with particular emphasis ...
Kohei Kishida
doaj +1 more source
A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 The usual epistemic model S5n for a multi-agent system is based on a Kripke frame, which is a graph whose edges are labeled with agents that do not distinguish between two states.
Éric Goubault +2 more
doaj +1 more source
On the Essence and Identity of Numbers
Theoria, 2015 Taking as premises some intuitions about the essences of natural numbers, pluralities and sets, the paper offers an argument that the natural numbers could not be the “Zermelo numbers”, the “Von Neumann numbers”, the “Kripke numbers”, or the “positions ...
Mario Gómez-Torrente
doaj +1 more source