The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar
Sign Up to like & getrecommendations! Published in 2017 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-017-9440-6
Abstract: The Mizar system is one of the pioneering systems aimed at supporting mathematical proof development on a computer that have laid the groundwork for and eventually have evolved into modern interactive proof assistants. We claim that… read more here.
Keywords: interactive proof; mizar mathematical; proof; proof development ... See more keywords
Controller-Based Interactive Proof to Ensure Trust in Multiagent Systems
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2022.3179217
Abstract: When multiple agents need to perform tasks that need cooperation, communication is necessary for coordination and also to assess completion. In this case, trust needs to be guaranteed, so agents know if others are following… read more here.
Keywords: ensure trust; interactive proof; controller based; trust multiagent ... See more keywords