RODES: A Robust-Design Synthesis Tool for Probabilistic Systems.
Radu CalinescuMilan CeskaSimos GerasimouMarta KwiatkowskaNicola PaolettiPublished in: QEST (2017)
Keyphrases
- building blocks
- design issues
- design criteria
- knowledge based systems
- design tools
- expert systems
- interactive systems
- management system
- intelligent systems
- design process
- computationally efficient
- artificial intelligence
- design methodology
- design decisions
- computer systems
- user interface
- knowledge base
- data sets
- complex systems
- computer aided
- design principles
- software engineering
- probabilistic model
- e learning
- digital circuits
- program synthesis