Control Improvisation with Probabilistic Temporal Specifications.
Ilge AkkayaDaniel J. FremontRafael ValleAlexandre DonzéEdward A. LeeSanjit A. SeshiaPublished in: IoTDI (2016)
Keyphrases
- bayesian networks
- spatio temporal
- temporal reasoning
- temporal information
- spatial and temporal
- data sets
- temporal context
- control problems
- control method
- control system
- database
- control theory
- uncertain data
- high level
- temporal patterns
- probabilistic reasoning
- similarity measure
- control flow
- probabilistic logic
- process control
- space time
- belief networks
- context sensitive
- probabilistic model
- data driven
- data acquisition