Pages that link to "Item:Q548484"
From MaRDI portal
The following pages link to CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484):
Displaying 5 items.
- GR(1)*: GR(1) specifications extended with existential guarantees (Q1982646) (← links)
- Model checking interval temporal logics with regular expressions (Q2182727) (← links)
- STL*: extending signal temporal logic with signal-value freezing operator (Q2453214) (← links)
- On the Model Checking Problem for Some Extension of CTL* (Q5060078) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)