Parametric Verification of Weighted Systems.
Peter ChristoffersenMikkel HansenAnders MariegaardJulian Trier RingsmoseKim Guldstrand LarsenRadu MardarePublished in: SynCoP (2015)
Keyphrases
- formal methods
- computing systems
- complex systems
- computer vision
- search algorithm
- model checking
- expert systems
- retrieval systems
- intelligent systems
- knowledge based systems
- automated verification
- real time
- learning systems
- distributed systems
- management system
- relational databases
- digital libraries
- objective function
- database systems
- information systems