Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Record Beta

Automated Technology for Verification and Analysis

https://id.confref.org/data/confref-portal/event/atva2018

This record is part of the confref event Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings.

rdf:typeportal:Conference
schema:locationLos Angeles (wd:Q65)
rdfs:labelAutomated Technology for Verification and Analysis
portal:acronymATVA
portal:areahttps://id.confref.org/data/confref-portal/area/2
portal:cityLos Angeles
portal:countryUSA
portal:endDate2018-10-10
portal:keywordAnalysis of probabilistic systems
portal:keywordArbiter protocols
portal:keywordAutonomous vehicles
portal:keywordBisimilarity distances
portal:keywordBisimulation
portal:keywordControl under delay
portal:keywordDifferential privacy
portal:keywordEfficient algorithmic synthesis
portal:keywordKantorovich metric
portal:keywordLabelled Markov chains
portal:keywordLinear temporal logic
portal:keywordManoeuvre automata
portal:keywordModel counting
portal:keywordMotion planning
portal:keywordQuantitative information flow
portal:keywordReachability analysis
portal:keywordSafety games
portal:keywordSymbolic execution
portal:keywordTheorem proving
portal:keywordmotion primitives
portal:nameAutomated Technology for Verification and Analysis
portal:portalPagehttp://portal.confref.org/list/atva2018
portal:serieshttps://id.confref.org/data/confref-portal/series/atva
portal:startDate2018-10-07
portal:submissionExtendedfalse
portal:year2018
cr:disciplinecomputer science (wd:Q21198)
cr:fieldComputer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAswd:Q106242997
cr:sameAshttps://dblp.org/db/conf/atva/atva2018

Data: Turtle · JSON-LD · N-Triples · RDF/XML

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.