Little Tricky Logic: Misconceptions in the Understanding of LTL
Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi
Abstract
Context Linear Temporal Logic (
Topics & Concepts
SyntaxComputer scienceContext (archaeology)MistakeLinear temporal logicPopularitySemantics (computer science)LinguisticsArtificial intelligenceProgramming languagePsychologyHistoryPolitical sciencePhilosophySocial psychologyArchaeologyLawFormal Methods in VerificationModel-Driven Software Engineering TechniquesSemantic Web and Ontologies