Alexei Lisitsa
Author
Alternate names Alexei Lisitsa, Alexei P. Lisitsa, A. P. Lisitsa, A. Lisitsa
Institution University of Liverpool
Past institutions University of Liverpool, University of Southampton, Institute of Biomedical Chemistry, Russian Academy of Sciences, Program Systems Institute of RAS
ORCID: Yes
H-index: 17
I10-index: 29
Works count: 208
Citations count: 1,013
Practical verification of decision-making in agent-based autonomous systems
2014 · Louise A. Dennis, Michael Fisher, et al. · Automated Software Engineering
A SAT Attack on the Erdős Discrepancy Conjecture
2014 · Boris Konev, Alexei Lisitsa · Lecture notes in computer science
An Overview of Verification and Validation Challenges for Inspection Robots
2021 · Michael Fisher, Rafael C. Cardoso, et al. · Robotics