Monografie
Verification of Reachability Properties and Termination for Probabilistic Systems
- Sprache
-
Englisch
- Anmerkungen
-
München, Technische Universität München, Diss., 2013
- Identifier
-
1034420712
Thema
Hochschulschrift
Beteiligte Personen und Organisationen
Gaiser, Andreas
Esparza Estaun, Francisco Javier
Kucera, Antonin
Esparza Estaun, Francisco Javier
Kucera, Antonin
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:55 MEZ
Objekttyp
- Monografie
Beteiligte
- Gaiser, Andreas
- Esparza Estaun, Francisco Javier
- Kucera, Antonin
Ähnliche Objekte (12)
Constraint-based Analysis of Distributed Systems
Normalization of Horn Clauses with Disequality Constraints
Learning Probabilistic Subsequential Transducers
Verification of Discrete- and Continuous-Time Non-Deterministic Markovian Systems
Methods for the Diagnosis and Automatic Repair of Software Systems
Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications
An implementation for algorithmic game solving and its applications in system synthesis
Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic
Frameworks for analyzing multi-threaded C
Model-based Plan Assessment for Autonomous Technical Systems
Generalized Petri Nets: Algorithms and Complexity
Sparse Matrix Computations and their I/O Complexity
Constraint-based Analysis of Distributed Systems
Normalization of Horn Clauses with Disequality Constraints
Learning Probabilistic Subsequential Transducers
Verification of Discrete- and Continuous-Time Non-Deterministic Markovian Systems
Methods for the Diagnosis and Automatic Repair of Software Systems
Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications
An implementation for algorithmic game solving and its applications in system synthesis
Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic
Frameworks for analyzing multi-threaded C
Model-based Plan Assessment for Autonomous Technical Systems
Generalized Petri Nets: Algorithms and Complexity
Sparse Matrix Computations and their I/O Complexity
Constraint-based Analysis of Distributed Systems
Normalization of Horn Clauses with Disequality Constraints
Learning Probabilistic Subsequential Transducers
Verification of Discrete- and Continuous-Time Non-Deterministic Markovian Systems
Methods for the Diagnosis and Automatic Repair of Software Systems
Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications
An implementation for algorithmic game solving and its applications in system synthesis
Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic
Frameworks for analyzing multi-threaded C
Model-based Plan Assessment for Autonomous Technical Systems
Generalized Petri Nets: Algorithms and Complexity