Counterexample-guided inference of controller logic from execution traces and temporal formulas

Publiceringsår

2018

Upphovspersoner

Chivilikhin, Daniil; Buzhinskv, Igor; Ulvantsev, Vladimir; Stankevich, Andrey; Shalyto, Anatoly; Vyatkin, Valeriy

Organisationer och upphovspersoner

Aalto-universitetet

Buzhinskv Igor

Vyatkin Valeriy

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Volym

2018-September

Artikelnummer

8502463

Sidor

91-98

ISSN

1946-0740

ISBN

978-1-5386-7108-5

Publikationsforum

72022

Publikationsforumsnivå

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Nej

Parallellsparad

Nej

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Nyckelord

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

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Sampublikation med ett företag

Nej

DOI

10.1109/ETFA.2018.8502463