The following pages link to A really temporal logic (Q4299300):
Displaying 21 items.
- ON REACHABILITY AND SAFETY IN INFINITE-STATE SYSTEMS (Q5249293) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)
- (Q5365522) (← links)
- Model Checking Biological Oscillators (Q5404073) (← links)
- A logic for metric and topology (Q5718689) (← links)
- Quantifying conformance using the Skorokhod metric (Q5892423) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897950) (← links)
- Computer Aided Verification (Q5900701) (← links)
- Programming Languages and Systems (Q5902367) (← links)
- Min-max Computation Tree Logic (Q5940962) (← links)
- Ensuring completeness of symbolic verification methods for infinite-state systems (Q5941104) (← links)
- A real-time interval logic and its decision procedure (Q5955786) (← links)
- Temporal Logic with Recursion. (Q6060093) (← links)
- Temporal Minimal-World Query Answering over Sparse ABoxes (Q6063880) (← links)
- A space-efficient on-the-fly algorithm for real-time model checking (Q6162102) (← links)
- Realizability problem for constraint LTL (Q6178458) (← links)
- Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers (Q6488465) (← links)
- Second-order hyperproperties (Q6535541) (← links)
- From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers (Q6610381) (← links)
- Temporal team semantics revisited (Q6649479) (← links)
- Deciding hyperproperties combined with functional specifications (Q6649493) (← links)