10271 Abstracts Collection - Verification over discrete-continuous boundaries.
Bernd BeckerLuca CardelliHolger HermannsSofiène TaharPublished in: Verification over discrete-continuous boundaries (2010)
Keyphrases
- discrete space
- continuous domains
- continuous action
- continuous variables
- discrete variables
- discrete data
- continuous data
- continuous functions
- model checking
- continuous space
- document collections
- database
- object boundaries
- piecewise linear
- formal verification
- information retrieval
- evidence based medicine
- continuous valued
- continuous state spaces
- genetic algorithm
- data sets
- discrete geometry
- sampled data
- finite number
- information extraction
- knowledge base
- information systems