Login / Signup
A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata.
Kerstin Bauer
Raffaella Gentilini
Klaus Schneider
Published in:
Haifa Verification Conference (2008)
Keyphrases
</>
hybrid automata
nonmonotonic logics
formal language
finite state automata
database query languages
formal semantics
algebraic structure
process algebra
valued semantics
high level
logic programming
relational calculus
epistemic logic
expressive power
conceptual model
temporal logic
default logic
lower bound