kth.se
Publications KTH
Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
Statistics
English
Svenska
Norsk
Jump to content
Change search
Search
Search
Only documents with full text in DiVA
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-350235
Direct link
http://kth.diva-portal.org/smash/record.jsf?pid=diva2:1883362
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
A Theory of Probabilistic Contracts (With Proofs)
Hampus, Anton
KTH, School of Industrial Engineering and Management (ITM), Engineering Design, Mechatronics and Embedded Control Systems.
ORCID iD:
0000-0002-3939-3919
Nyberg, Mattias
KTH, School of Industrial Engineering and Management (ITM), Engineering Design, Mechatronics and Embedded Control Systems.
ORCID iD:
0000-0001-6667-3783
2024 (English)
Report (Other academic)
Place, publisher, year, edition, pages
2024.
National Category
Computer Sciences
Identifiers
URN:
urn:nbn:se:kth:diva-350235
OAI: oai:DiVA.org:kth-350235
DiVA, id:
diva2:1883362
Note
QC 20240710
Available from:
2024-07-10
Created:
2024-07-10
Last updated:
2024-10-09
Bibliographically approved
Open Access in DiVA
fulltext
(941 kB)
197 downloads
File information
File name
FULLTEXT01.pdf
File size
941 kB
Checksum
SHA-512
233517f6b208fc929f0d2e2e03644f8215292799f432d44ad7b4b52a614bdcad40411c78aa4d922f0f8884280a646a9a0b6323155e09fba68f88538a94f9670b
Type
fulltext
Mimetype
application/pdf
Authority records
Hampus, Anton
Nyberg, Mattias
Search in DiVA
By author/editor
Hampus, Anton
Nyberg, Mattias
By organisation
Mechatronics and Embedded Control Systems
On the subject
Computer Sciences
Search outside of DiVA
Google
Google Scholar
Total: 198 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available
urn-nbn
Altmetric score
urn-nbn
Total: 285 hits
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-350235
Direct link
http://kth.diva-portal.org/smash/record.jsf?pid=diva2:1883362
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
v. 2.47.0
|
WCAG
|
KTH Library
|
DiVA support
|
Register in DiVA
|
Posting your thesis
|
SwePub
|
About Open Access
DiVA
Logotyp