Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⏰ Temporal Logic
Specific
LTL, CTL, Model Checking, System Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
181769
posts in
16.4
ms
Automated
LTL
Specification
Generation from Industrial Aerospace Requirements
⚙️
TLA+
arxiv.org
·
1d
Untitled
Linux Show 251: Vibe But
Verify
🔌
Operating system internals
twit.tv
·
6d
encfuncs
(3) Linux
Manual
Page
📺
VT100 Emulation
systutorials.com
·
2d
DAG-STL
: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic
Specifications
🔄
Finite State Machines
arxiv.org
·
4d
encctlcodes
(3) Linux
Manual
Page
🔤
Character Encoding
systutorials.com
·
2d
Visualising
CTL
Witnesses and
Counterexamples
-- Extended Version
🎯
Proof Tactics
arxiv.org
·
2d
Live
LTL
Progress Tracking: Towards Task-Based
Exploration
🌊
Streaming Algorithms
arxiv.org
·
4d
Lexicographic
Minimum-Violation
Motion Planning using Signal Temporal Logic
🔄
Finite State Machines
arxiv.org
·
2d
IMPACT-CYCLE: A Contract-Based Multi-Agent System for Claim-Level
Supervisory
Correction
of Long-Video Semantic Memory
✨
Effect Handlers
arxiv.org
·
2d
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help