Igor Potapov
- Temporal logic with predicate abstraction
2004/10/27 by Alexei Lisitsa, Lisitsa, Alexei, Igor Potapov +1 · 1 citation
Computer Science · #Computation and Language (cs.CL) #F.1.1 #F.3.1 #F.4.1 #F.4.3 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #cs.CL #cs.LO