From propositional to first-order monitoring Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA? Software Systems Research Group, 2 Australian National University - Computer Systems Research Group - Document - PDFSEARCH.IO

First Page	Meta Content
	From propositional to first-order monitoring Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA? Software Systems Research Group, 2 Australian National University Add to Reading List Document Date: 2015-05-08 04:15:01 Open Document File Size: 419,82 KB Share Result on Facebook Company Software Systems Research Group / / IndustryTerm actual monitoring algorithm / bilinear algorithm / model checking tool / online monitor / / OperatingSystem Android / / Organization Australian Government / ICT Centre of Excellence / Australian Research Council / Australian National University / Department of Broadband / Communications and the Digital Economy / / Person Ai / / Technology monitoring algorithm / Broadband / sms / actual monitoring algorithm / Android / corresponding algorithms / bilinear algorithm / / SocialTag Temporal logic Metalogic FO Model theory Interpretation IP Theoretical computer science Logic Linear temporal logic

From propositional to first-order monitoring Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA? Software Systems Research Group, 2 Australian National UniversityAdd to Reading List