Items where Author is "Anonymous, 4"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Monograph
Number of items: 4.

Monograph

Anonymous, 1 and Anonymous, 2 and Anonymous, 3 and Anonymous, 4 and Anonymous, 5 and Anonymous, 6 (2018) Cost Analysis of Nondeterministic Probabilistic Programs. Technical Report. IST Austria.

Anonymous, 1 and Anonymous, 2 and Anonymous, 3 and Anonymous, 4 (2016) Data-centric dynamic partial order reduction. Technical Report. IST Austria.

Anonymous, 1 and Anonymous, 2 and Anonymous, 3 and Anonymous, 4 (2015) Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. Technical Report. IST Austria.

Anonymous, 1 and Anonymous, 2 and Anonymous, 3 and Anonymous, 4 (2014) Optimal Cost Almost-sure Reachability in POMDPs. Technical Report. IST Austria. (Submitted)

This list was generated on Sat Dec 15 01:01:02 2018 CET.