Follow
Alexei Lisitsa
Alexei Lisitsa
Verified email at liverpool.ac.uk
Title
Cited by
Cited by
Year
Practical verification of decision-making in agent-based autonomous systems
LA Dennis, M Fisher, NK Lincoln, A Lisitsa, SM Veres
Automated Software Engineering 23, 305-359, 2016
1242016
A SAT attack on the Erdős discrepancy conjecture
B Konev, A Lisitsa
Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014
902014
Computer-aided proof of Erdős discrepancy properties
B Konev, A Lisitsa
Artificial Intelligence 224, 103-118, 2015
612015
Equality and monodic first-order temporal logic
A Degtyarev, M Fisher, A Lisitsa
Studia Logica 72, 147-156, 2002
562002
Reachability analysis in verification via supercompilation
A Lisitsa, AP Nemytykh
International Journal of Foundations of Computer Science 19 (04), 953-969, 2008
512008
Verification as a parameterized testing (experiments with the SCP4 supercompiler)
AP Lisitsa, AP Nemytykh
Programming and Computer Software 33, 14-23, 2007
462007
An overview of verification and validation challenges for inspection robots
M Fisher, RC Cardoso, EC Collins, C Dadswell, LA Dennis, C Dixon, ...
Robotics 10 (2), 67, 2021
412021
Penetration testing for internet of things and its automation
G Chu, A Lisitsa
2018 IEEE 20th International Conference on High Performance Computing and …, 2018
402018
Temporal logic with predicate/spl lambda/-abstraction
A Lisitsa, I Potapov
12th International Symposium on Temporal Representation and Reasoning (TIME …, 2005
402005
Temporal logic with predicate/spl lambda/-abstraction
A Lisitsa, I Potapov
12th International Symposium on Temporal Representation and Reasoning (TIME …, 2005
402005
A misuse-based network intrusion detection system using temporal logic and stream processing
A Ahmed, A Lisitsa, C Dixon
2011 5th International Conference on Network and System Security, 1-8, 2011
322011
Satellite control using rational agent programming
L Dennis, M Fisher, A Lisitsa, N Lincoln, S Veres
IEEE Intelligent Systems 25 (3), 92-97, 2010
312010
Satellite control using rational agent programming
L Dennis, M Fisher, A Lisitsa, N Lincoln, S Veres
IEEE Intelligent Systems 25 (3), 92-97, 2010
312010
Autonomous asteroid exploration by rational agents
NK Lincoln, SM Veres, LA Dennis, M Fisher, A Lisitsa
ieee ComputatioNal iNtelligeNCe magaziNe 8 (4), 25-38, 2013
292013
Linear ordering on graphs, anti-founded sets and polynomial time computability
A Lisitsa, V Sazonov
Theoretical Computer Science 224 (1-2), 173-213, 1999
281999
Bounded hyperset theory and web-like data bases
A Lisitsa, V Sazonov
Kurt Gödel Colloquium on Computational Logic and Proof Theory, 172-185, 1997
251997
An agent based framework for adaptive control and decision making of autonomous vehicles
L Dennis, M Fisher, NK Lincoln, SM Veres, A Lisitsa
IFAC Proceedings Volumes 43 (10), 310-317, 2010
242010
A re-evaluation of intrusion detection accuracy: Alternative evaluation strategy
S Al-Riyami, F Coenen, A Lisitsa
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
222018
Practical infinite-state verification with temporal reasoning
M Fisher, B Konev, A Lisitsa
NATO SECURITY THROUGH SCIENCE SERIES D-INFORMATION AND COMMUNICATION …, 2006
222006
Declarative abstractions for agent based hybrid control systems
LA Dennis, M Fisher, NK Lincoln, A Lisitsa, SM Veres
International Workshop on Declarative Agent Languages and Technologies, 96-111, 2010
212010
The system can't perform the operation now. Try again later.
Articles 1–20