
KeYmaera
 Referenced in 41 articles
[sw03709]
 KeYmaera is a hybrid verification tool for hybrid systems that combines deductive, real algebraic ... natural specification and verification logic for hybrid systems. KeYmaera supports differential dynamic logic, which ... realvalued firstorder dynamic logic for hybrid programs, a program notation for hybrid automata...

HTab
 Referenced in 11 articles
[sw12427]
 HTab: a Terminating Tableaux System for Hybrid Logic. Hybrid logic is a formalism that ... variety of proof mechanisms for hybrid logic exist, but the only widely available implemented proof ... been developed for a number of hybrid logics, and the goal of the present work ... terminating tableaux algorithm for the hybrid logic H(@,A)H(@,A). The performance...

HYSDEL
 Referenced in 38 articles
[sw05200]
 HYSDEL allows modeling a class of hybrid systems described by interconnections of linear dynamic systems ... thenelse and propositional logic rules. Once a hybrid system is modeled in a human ... fashion, HYSDEL transforms it to the mixedlogical dynamical (MLD) form which can be immediately...

Spartacus
 Referenced in 14 articles
[sw12426]
 Spartacus: A Tableau Prover for Hybrid Logic. Spartacus is a tableau prover for hybrid multimodal...

PPL
 Referenced in 97 articles
[sw05357]
 functional and logic languages, synchronous languages and synchronization protocols, realtime and hybrid systems. Since...

HyLoRes
 Referenced in 7 articles
[sw17660]
 Resolution Based Theorem Prover for Hybrid Logics. HyLoRes is a direct resolution prover for hybrid ... logics. These are modallike logics with facilities to refer to objects in a model ... modal (or hybrid) input, with no translation into background logics. HyLoRes fuses state ... ideas with the simple representation of the hybrid object languag...

STaLiRo
 Referenced in 17 articles
[sw09775]
 TaLiRo: A tool for temporal logic falsification for hybrid systems. STaLiRo is a Matlab...

HyLoTab
 Referenced in 7 articles
[sw13662]
 proofofconcept tableaux prover for hybrid logics originally written...

MetTeL
 Referenced in 15 articles
[sw11990]
 prover for various modal, intuitionistic, hybrid, description and metric logics. The core component of MetTeL...

SALSA
 Referenced in 30 articles
[sw02661]
 optimization paradigms such as local search, yielding hybrid algorithms with constraints. Such combinations lack ... Logic Programming. We propose a language, SALSA, dedicated to specifying (local, global or hybrid) search...

COSMOS
 Referenced in 5 articles
[sw13329]
 statistical model checker for the hybrid automata stochastic logic. This tool paper introduces Cosmos ... statistical model checker for the Hybrid Automata Stochastic Logic (HASL). HASL employs Linear Hybrid Automata...

Herod
 Referenced in 3 articles
[sw09445]
 Pilate: Two Tableau Provers for Basic Hybrid Logic. This work presents two provers for basic ... hybrid logic HL(@), which have been implemented with the aim of comparing the internalised tableau...

Pilate
 Referenced in 3 articles
[sw09446]
 Pilate: Two Tableau Provers for Basic Hybrid Logic. This work presents two provers for basic ... hybrid logic HL(@), which have been implemented with the aim of comparing the internalised tableau...

TRIPLE
 Referenced in 21 articles
[sw02460]
 with a description logic classifier, e.g. FaCT, resulting in a hybrid rule language. This paper...

Cool
 Referenced in 4 articles
[sw11992]
 Cool  a generic reasoner for coalgebraic hybrid logics. We describe the coalgebraic ontology logic solver ... generally, hybrid) formulas with respect to a set of global assumptions – in description logic parlance...

HiTag2
 Referenced in 9 articles
[sw14133]
 proposed. By using a hybrid approach of logical reasoning and computer computation, we obtain...

HASL
 Referenced in 6 articles
[sw13330]
 stochastic models. We introduce the Hybrid Automata Stochastic Logic (HASL), a new temporal logic formalism...

Clingcon
 Referenced in 34 articles
[sw09892]
 Clingcon is a hybrid solver combining the monolithic answer set solver Clingo ... answer set solver for (extended) constraint normal logic programs. It combines the highlevel modeling...

DOMINO
 Referenced in 2 articles
[sw02164]
 these two traditional views, called hybrid logic or the hybrid view, is introduced...

HyLoBan
 Referenced in 1 article
[sw17659]
 Experiments in theorem proving for topological hybrid logic. This paper discusses two experiments in theorem ... proving for hybrid logic under the topological interpretation. We begin by discussing the topological interpretation ... hybrid logic and noting what it adds to the topological interpretation of orthodox modal logic ... tableauxbased theorem prover for hybrid logic under the standard relational interpretation. We compare...