Lumpability abstractions of rule-based systems
dc.contributor.author
Feret, Jerome
dc.contributor.author
Henzinger, Thomas
dc.contributor.author
Koeppl, Heinz
dc.contributor.author
Petrov, Tatjana
dc.date.accessioned
2017-06-09T18:45:37Z
dc.date.available
2017-06-09T18:45:37Z
dc.date.issued
2012-05-04
dc.identifier.issn
0304-3975
dc.identifier.other
10.1016/j.tcs.2011.12.059
dc.identifier.uri
http://hdl.handle.net/20.500.11850/45208
dc.language.iso
en
dc.publisher
Elsevier
dc.subject
Stochastic control
dc.subject
Optimal control
dc.subject
Optimization problems
dc.subject
Dynamic programming
dc.subject
Markov decision problems
dc.subject
Parallelization
dc.title
Lumpability abstractions of rule-based systems
dc.type
Journal Article
ethz.journal.title
Theoretical Computer Science
ethz.journal.volume
431
ethz.journal.abbreviated
Theor. comp. sci.
ethz.pages.start
137
ethz.pages.end
164
ethz.notes
Published online 23 December 2011.
ethz.identifier.wos
ethz.identifier.nebis
000018618
ethz.publication.place
Amsterdam
ethz.publication.status
published
ethz.leitzahl
03883 - Köppl, Heinz Wolfgang (SNF-Professur)
ethz.leitzahl.certified
03883 - Köppl, Heinz Wolfgang (SNF-Professur)
ethz.date.deposited
2017-06-09T18:45:43Z
ethz.source
ECIT
ethz.identifier.importid
imp59364ee6df70023320
ethz.ecitpid
pub:74302
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-19T08:23:13Z
ethz.rosetta.lastUpdated
2020-02-14T09:27:01Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Lumpability%20abstractions%20of%20rule-based%20systems&rft.jtitle=Theoretical%20Computer%20Science&rft.date=2012-05-04&rft.volume=431&rft.spage=137&rft.epage=164&rft.issn=0304-3975&rft.au=Feret,%20Jerome&Henzinger,%20Thomas&Koeppl,%20Heinz&Petrov,%20Tatjana&rft.genre=article&rft_id=info:doi/10.1016/j.tcs.2011.12.059&
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Journal Article [130376]