Costs and rewards in priced timed automata

Costs and rewards in priced timed automata

अन्य संस्करण दिखाएं (1)

We consider Pareto analysis of reachable states of multi-priced timed automata (MPTA): timed automata equipped with multiple observers that keep track of costs (to be minimised) and rewards (to be maximised) along a computation. Each observer has a constant non-negative derivative which may depend o...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों: Fränzle, M, Shirmohammadi, M, Swaminathan, M, Worrell, J
स्वरूप: Journal article
भाषा:English
प्रकाशित: Schloss Dagstuhl 2018
Search Result 1
Costs and rewards in priced timed automata

Costs and rewards in priced timed automata द्वारा Fränzle, M, Shirmohammadi, M, Swaminathan, M, Worrell, J

प्रकाशित 2020
Journal article
सभी संस्करण दिखाएं (2)

समान संसाधन