Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures.
Aurélien RizkGrégory BattFrançois FagesSylvain SolimanPublished in: Theor. Comput. Sci. (2011)
Keyphrases
- temporal logic
- parameter optimization
- concurrent systems
- model checking
- transition systems
- model checker
- bounded model checking
- reactive systems
- formal specification language
- genetic algorithm ga
- formal specification
- genetic algorithm
- differential evolution
- parameter settings
- belief revision
- linear temporal logic
- verification method
- parameter estimation
- computation tree logic
- support vector machine
- mazurkiewicz traces
- pid controller
- incremental learning
- formal verification
- fitness function
- real time
- petri net
- least squares
- image segmentation