undefined

< Takaisin hakutuloksiin

SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers

Julkaisuvuosi

2020

Tekijät

Chukharev, Konstantin; Suvorov, Dmitrii; Chivilikhin, Daniil; Vyatkin, Valeriy

Organisaatiot ja tekijät

Aalto-yliopisto

Vyatkin Valeriy Orcid -palvelun logo

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Lehti

Artikkelin tyyppi

Alkuperäisartikkeli:

Yleisö

Tieteellinen

Vertaisarvioitu

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Julkaisukanavan tiedot

Lehti/Sarja

IEEE Access

Kustantaja

IEEE

Volyymi

8

Artikkelinumero

9257351

Sivut

207485-207498

ISSN

2169-3536

Julkaisu­foorumi

78297

Julkaisufoorumitaso

2

Avoin saatavuus

Avoin saatavuus kustantajan palvelussa

Kyllä

Julkaisukanavan avoin saatavuus

Kokonaan avoin julkaisukanava

Rinnakkaistallennettu

Kyllä

Muut tiedot

Tieteenalat

Tietojenkäsittely ja informaatiotieteet; Sähkö-, automaatio- ja tietoliikennetekniikka, elektroniikka

Avainsanat

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Kustantajan kansainvälisyys

Kansainvälinen

Kieli

englanti

Kansainvälinen yhteisjulkaisu

Kyllä

Yhteisjulkaisu yrityksen kanssa

Ei

DOI

10.1109/ACCESS.2020.3037780

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen

Kyllä