Documentation
Where each part of the SENTIL documentation starts: the five-minute install, the STL and PrSTL guides, controller synthesis, the tutorial, the interactive lessons, and how to contribute.
SENTIL monitors a signal against a temporal-logic specification, checks that specification statistically under noise, and synthesizes inputs and controllers that satisfy it. Pick a section to get going.
Get started
Install SENTIL and read a real robustness value within five minutes.
The tutorial
The whole tool as a book: one PDF in course order, with exercises and answers.
Monitoring
Write an STL formula and read quantitative robustness over a signal.
Probabilistic
Lift noisy readings and estimate satisfaction probability with confidence bounds.
Synthesis
Turn a specification into an input sequence or a controller, then monitor it.
Learn interactively
Edit a formula in the playground and watch the robustness move.
Contributing
Build the workspace, run the tier that covers your change, and keep the claims ledger honest.