Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems

Szczegóły
Abstrakt

Tytuł:: SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems
Autorzy:: Woźna-Szcześniak, B.
Data publikacji:: 2016
Słowa kluczowe:: bounded arithmetics
deontic logic
mathematical formulas
branching processes
data analysis
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła

We present WECTL*KD, a weighted branching time temporal logic to specify knowledge, and correct functioning behaviour in multi-agent systems (MAS).We interpret the formulae of the logic over models generated by weighted deontic interpreted systems (WDIS). Furthermore, we investigate a SAT-based bounded model checking (BMC) technique for WDIS and for WECTL*KD.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems