Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings > Qualitative Analysis of VASS-Induced MDPs
Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings |
Bart Jacobs; Christof Löding
Springer Berlin Heidelberg
Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Qualitative Analysis of VASS-Induced MDPs
Authors

Parosh Aziz Abdulla; Radu Ciobanu; Richard Mayr; Arnaud Sangnier; Jeremy Sproston

ARI Id

1664818672146_3644867

Access

Not Available Free

Pages

319-334

DOI

10.1007/978-3-662-49630-5_19

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-662-49630-5_19

Table of Contents of Book
Showing 1 to 20 of 41 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-XI
Front Matter
1-1
Comprehensive Parametric Polymorphism: Categorical Models and Type Theory
Neil Ghani; Fredrik Nordvall Forsberg; Alex Simpson
3-19
Guarded Dependent Type Theory with Coinductive Types
Aleš Bizjak; Hans Bugge Grathwohl; Ranald Clouston; Rasmus E. Møgelberg; Lars Birkedal
20-35
Dependent Types and Fibred Computational Effects
Danel Ahman; Neil Ghani; Gordon D. Plotkin
36-54
Game Semantics for Bounded Polymorphism
James Laird
55-70
Front Matter
71-71
Join Inverse Categories as Models of Reversible Recursion
Holger Bock Axelsen; Robin Kaarsgaard
73-90
A Coalgebraic View of Bar Recursion and Bar Induction
Venanzio Capretta; Tarmo Uustalu
91-106
A New Foundation for Finitary Corecursion
Stefan Milius; Dirk Pattinson; Thorsten Wißmann
107-125
Fixed-Point Elimination in the Intuitionistic Propositional Calculus
Silvio Ghilardi; Maria João Gouveia; Luigi Santocanale
126-141
Front Matter
143-143
A Theory of Monitors
Adrian Francalanza
145-161
Contextual Approximation and Higher-Order Procedures
Ranko Lazić; Andrzej S. Murawski
162-179
A Theory of Slicing for Probabilistic Control Flow Graphs
Torben Amtoft; Anindya Banerjee
180-196
Verification of Parameterized Communicating Automata via Split-Width
Marie Fortin; Paul Gastin
197-213
Front Matter
215-215
Robust Equilibria in Mean-Payoff Games
Romain Brenguier
217-233
Quantifier Alternation for Infinite Words
Théo Pierron; Thomas Place; Marc Zeitoun
234-251
Synchronizing Automata over Nested Words
Dmitry Chistikov; Pavel Martyugin; Mahsa Shirmohammadi
252-268
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 41 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings