Alexei Lisitsa

1. Practical Verification of Decision-Making in Agent-Based Autonomous Systems
   2013/10/09 by Louise A. Dennis, Dennis, Louise A., Michael Fisher +7 · 3 citations
   Computer Science · #03B70 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Multiagent Systems (cs.MA)
2. Stable Andrews-Curtis trivialization of AK(3) revisited. A case study using automated deduction
   2024/01/17 by Alexei Lisitsa, Lisitsa, Alexei · 1 citation
   Biochemistry, Genetics and Molecular Biology · #Biomedical Text Mining and Ontologies #Machine Learning in Bioinformatics #Fractal and DNA sequence analysis
3. Temporal logic with predicate abstraction
   2004/10/27 by Alexei Lisitsa, Igor Potapov, Lisitsa, Alexei +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