On Nonlinear Prices in Timed Automata.

Devendra Bhave Shankara Narayanan Krishna Ashutosh Trivedi

Published in: V2CPS@IFM (2016)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
theorem proving
data sets
piecewise linear
market data
real time
bayesian networks
reinforcement learning
high order
long run
real time systems
complementarity problems