Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Learning Properties in LTL ∩ ACTL from Positive Examples Only

Ehlers, R., Gavran, I., & Neider, D. (2020). Learning Properties in LTL ∩ ACTL from Positive Examples Only. In A. Ivrii, & O. Strichman (Eds.), Proceedings of the 20th Conference on Formal Methods in Computer Aided Design (pp. 104-112). Piscataway, NJ: IEEE. doi:10.34727/2020/isbn.978-3-85448-042-6_17.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-0008-7AC3-3 Versions-Permalink: https://hdl.handle.net/21.11116/0000-0008-7AC4-2
Genre: Konferenzbeitrag
Latex : Learning Properties in {LTL} $\cap$ {ACTL} from Positive Examples Only

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Ehlers, Rüdiger1, Autor
Gavran, Ivan2, Autor           
Neider, Daniel2, Autor           
Affiliations:
1External Organizations, ou_persistent22              
2Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20202020
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: Ehlers2020
DOI: 10.34727/2020/isbn.978-3-85448-042-6_17
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 20th Conference on Formal Methods in Computer Aided Design
Veranstaltungsort: Haifa, Israel
Start-/Enddatum: 2019-10-22 - 2019-10-25

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Proceedings of the 20th Conference on Formal Methods in Computer Aided Design
  Kurztitel : FMCAD 2020
Genre der Quelle: Konferenzband
 Urheber:
Ivrii, Alexander1, Herausgeber
Strichman, Ofer1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Piscataway, NJ : IEEE
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 104 - 112 Identifikator: n.a.: 978-3-85448-042-6