Výsledky vyhledávání - "Neuber, Till"

Akademický článek

Evaluation of the Influence of Machine Tools on the Accuracy of Indoor Positioning Systems.

Autor: Neuber, Till¹ (AUTHOR), Schmitt, Anna-Maria¹ (AUTHOR) anna-maria.schmitt@fhws.de, Engelmann, Bastian¹ (AUTHOR), Schmitt, Jan¹ (AUTHOR)

Publikováno v: Sensors (14248220). Dec2022, Vol. 22 Issue 24, p10015. 17p.

Zobrazit plný text záznamu

Plný text ve formátu HTML

Automated Verification for Functional and Relational Properties of Voting Rules

Autor: Beckert, Bernhard, Bormer, Thorsten, Kirsten, Michael, Neuber, Till, Ulbrich, Mattias

In this paper, we formalise classes of axiomatic properties for voting rules, discuss their characteristics, and show how symmetry properties can be exploited in the verification of other properties. Following that, we describe how automated verifica

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::88818ec6544a9af75e40bfbeed3f64e5
https://publikationen.bibliothek.kit.edu/1000092712

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání