<--- Back to Details
First PageDocument Content
Mathematical analysis / Analysis / Measure theory / Generalized functions / Smooth functions / Transportation theory / Distribution / Linear temporal logic
Date: 2015-10-08 04:24:20
Mathematical analysis
Analysis
Measure theory
Generalized functions
Smooth functions
Transportation theory
Distribution
Linear temporal logic

Duality for increasing convex functionals with countably many marginal constraints D. Bartl∗ P. Cheridito†

Add to Reading List

Source URL: www.mat.univie.ac.at

Download Document from Source Website

File Size: 259,83 KB

Share Document on Facebook

Similar Documents

Optimal Multi-Valued LTL Planning for Systems with Access Right Levels Mohammad Hekmatnejad, and Georgios Fainekos Abstract— We propose a method for optimal Linear Temporal Logic (LTL) planning under incomplete or unce

Optimal Multi-Valued LTL Planning for Systems with Access Right Levels Mohammad Hekmatnejad, and Georgios Fainekos Abstract— We propose a method for optimal Linear Temporal Logic (LTL) planning under incomplete or unce

DocID: 1xUJO - View Document

Senior Thesis in Mathematics  Infiniteness and Linear Temporal Logic: Soundness, Completeness, & Decidability

Senior Thesis in Mathematics Infiniteness and Linear Temporal Logic: Soundness, Completeness, & Decidability

DocID: 1v3pn - View Document

Interpretable Apprenticeship Learning with Temporal Logic Specifications Daniel Kasenberg and Matthias Scheutz Abstract— Recent work has addressed using formulas in linear temporal logic (LTL) as specifications for age

Interpretable Apprenticeship Learning with Temporal Logic Specifications Daniel Kasenberg and Matthias Scheutz Abstract— Recent work has addressed using formulas in linear temporal logic (LTL) as specifications for age

DocID: 1uffF - View Document

Motivation Non-classical logics – such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, rel

Motivation Non-classical logics – such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, rel

DocID: 1tY4T - View Document

Constructive Finite Trace Analysis with Linear Temporal Logic Martin Sulzmann and Axel Zechner Informatik Consulting Systems AG, Germany {martin.sulzmann,axel.zechner}@ics-ag.de

Constructive Finite Trace Analysis with Linear Temporal Logic Martin Sulzmann and Axel Zechner Informatik Consulting Systems AG, Germany {martin.sulzmann,axel.zechner}@ics-ag.de

DocID: 1tDRW - View Document