English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  Uncertainty-Aware Signal Temporal Logic Inference

Baharisangari, N., Gaglione, J.-R., Neider, D., Topcu, U., & Xu, Z. (2021). Uncertainty-Aware Signal Temporal Logic Inference. In R. Bloem, R. Dimitrova, C. Fan, & N. Sharygina (Eds.), Software Verification (pp. 61-85). Berlin: Springer. doi:10.1007/978-3-030-95561-8_5.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/21.11116/0000-000A-9AD9-4 Version Permalink: https://hdl.handle.net/21.11116/0000-000A-9ADA-3
Genre: Conference Paper

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Baharisangari, Nasim1, Author
Gaglione, Jean-Raphaël1, Author
Neider, Daniel2, Author           
Topcu, Ufuk1, Author
Xu, Zhe1, Author
Affiliations:
1External Organizations, ou_persistent22              
2Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 20212021
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: DOI: 10.1007/978-3-030-95561-8_5
BibTex Citekey: Baharisangari_VSTTE21
 Degree: -

Event

show
hide
Title: 13th Working Conference on Verified Software: Theories, Tools, and Experiment
Place of Event: New Haven, CT, USA (Virtual)
Start-/End Date: 2021-10-18 - 2021-10-19

Legal Case

show

Project information

show

Source 1

show
hide
Title: Software Verification
  Subtitle : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021 and 14th International Workshop, NSV 2021 Los Angeles, CA, USA, July 18–19, 2021 ; Revised Selected Papers
  Abbreviation : VSTTE 2021
  Other : NSV 2021
Source Genre: Proceedings
 Creator(s):
Bloem, Roderick1, Editor
Dimitrova, Rayna1, Editor
Fan, Chuchu1, Editor
Sharygina, Natasha1, Editor
Affiliations:
1 External Organizations, ou_persistent22            
Publ. Info: Berlin : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 61 - 85 Identifier: ISBN: 978-3-030-95560-1

Source 2

show
hide
Title: Lecture Notes in Computer Science
  Abbreviation : LNCS
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 13124 Sequence Number: - Start / End Page: - Identifier: -