The following pages link to (Q4953875):
Displayed 8 items.
- An equivalent CTL formulation for condition sequences (Q816698) (← links)
- Data structures for symbolic multi-valued model-checking (Q862857) (← links)
- Connectionist modal logic: representing modalities in neural networks (Q870254) (← links)
- Automatic workflow verification and generation (Q2368986) (← links)
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams (Q2372185) (← links)
- Connectionist computations of intuitionistic reasoning (Q2503271) (← links)
- Abstracting and Verifying Strategy-Proofness for Auction Mechanisms (Q3601792) (← links)
- On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs (Q5200103) (← links)