Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A comparison of SMT-solvers for timed weighted interpreted systems - MaRDI portal

A comparison of SMT-solvers for timed weighted interpreted systems

From MaRDI portal

Publication:5040702

Jump to:navigation, search

DOI10.16926/M.2016.21.15OpenAlexW2585494974MaRDI QIDQ5040702

Agnieszka M. Zbrzezny

Publication date: 17 October 2022

Published in: Scientific Issues Jan Długosz University in Częstochowa. Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.16926/m.2016.21.15

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)

This page was built for publication: A comparison of SMT-solvers for timed weighted interpreted systems

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5040702&oldid=19519212"