zweidimensionales bewegtes Bild
Inductive Synthesis for Probabilistic Programs Reaches New Horizons
- Alternative title
-
Milan Ceska
- Location
-
Hannover TIB
- Extent
-
167MB, 00:17:11:00 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 ; (Jan. 2021)
- Event
-
Veröffentlichung
- (who)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (when)
-
2021-01-01
- Contributor
-
Andriushchenko, Roman
Češka, Milan
Junges, Sebastian
Katoen, Joost-Pieter
- DOI
-
10.5446/54979
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Andriushchenko, Roman
- Češka, Milan
- Junges, Sebastian
- Katoen, Joost-Pieter
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Time of origin
- 2021-01-01
Other Objects (12)
PAYNT : A Tool for Inductive Synthesis of Probabilistic Programs
Probabilistic inductive constraint logic
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
Probabilistic inductive logic programming : theory and applications
Approaching probabilistic and deterministic nomic truths in an inductive probabilistic way
A general non-probabilistic theory of inductive reasoning
Probabilistic truthlikeness, content elements, and meta-inductive probability optimization
Learning hierarchical probabilistic logic programs
Inductive linearization for binary quadratic programs with linear constraints
Inductive linearization for binary quadratic programs with linear constraints
A deductive verifier for probabilistic programs
Automated deductive verification of probabilistic programs
PAYNT : A Tool for Inductive Synthesis of Probabilistic Programs
Probabilistic inductive constraint logic
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
Probabilistic inductive logic programming : theory and applications
Approaching probabilistic and deterministic nomic truths in an inductive probabilistic way
A general non-probabilistic theory of inductive reasoning
Probabilistic truthlikeness, content elements, and meta-inductive probability optimization
Learning hierarchical probabilistic logic programs
Inductive linearization for binary quadratic programs with linear constraints
Inductive linearization for binary quadratic programs with linear constraints
A deductive verifier for probabilistic programs
Automated deductive verification of probabilistic programs
PAYNT : A Tool for Inductive Synthesis of Probabilistic Programs
Probabilistic inductive constraint logic
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
Probabilistic inductive logic programming : theory and applications
Approaching probabilistic and deterministic nomic truths in an inductive probabilistic way
A general non-probabilistic theory of inductive reasoning
Probabilistic truthlikeness, content elements, and meta-inductive probability optimization
Learning hierarchical probabilistic logic programs
Inductive linearization for binary quadratic programs with linear constraints
Inductive linearization for binary quadratic programs with linear constraints
A deductive verifier for probabilistic programs