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 | 129 | 2016 |
A SAT attack on the Erdős discrepancy conjecture B Konev, A Lisitsa Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014 | 93 | 2014 |
Computer-aided proof of Erdős discrepancy properties B Konev, A Lisitsa Artificial Intelligence 224, 103-118, 2015 | 64 | 2015 |
Equality and monodic first-order temporal logic A Degtyarev, M Fisher, A Lisitsa Studia Logica 72, 147-156, 2002 | 56 | 2002 |
Reachability analysis in verification via supercompilation A Lisitsa, AP Nemytykh International Journal of Foundations of Computer Science 19 (04), 953-969, 2008 | 52 | 2008 |
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 | 49 | 2021 |
Verification as a parameterized testing (experiments with the SCP4 supercompiler) AP Lisitsa, AP Nemytykh Programming and Computer Software 33, 14-23, 2007 | 47 | 2007 |
Penetration testing for internet of things and its automation G Chu, A Lisitsa 2018 IEEE 20th International Conference on High Performance Computing and …, 2018 | 42 | 2018 |
Temporal logic with predicate/spl lambda/-abstraction A Lisitsa, I Potapov 12th International Symposium on Temporal Representation and Reasoning (TIME …, 2005 | 40 | 2005 |
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 | 33 | 2011 |
Satellite control using rational agent programming L Dennis, M Fisher, A Lisitsa, N Lincoln, S Veres IEEE Intelligent Systems 25 (3), 92-97, 2010 | 30 | 2010 |
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 | 29 | 2013 |
Linear ordering on graphs, anti-founded sets and polynomial time computability A Lisitsa, V Sazonov Theoretical Computer Science 224 (1-2), 173-213, 1999 | 29 | 1999 |
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 | 26 | 1997 |
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 | 24 | 2018 |
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 | 23 | 2010 |
Practical infinite-state verification with temporal reasoning M Fisher, B Konev, A Lisitsa NATO SECURITY THROUGH SCIENCE SERIES D-INFORMATION AND COMMUNICATION …, 2006 | 23 | 2006 |
Membership and reachability problems for row-monomial transformations A Lisitsa, I Potapov International Symposium on Mathematical Foundations of Computer Science, 623-634, 2004 | 23 | 2004 |
Poster: Agent-based (BDI) modeling for automation of penetration testing G Chu, A Lisitsa 2018 16th Annual Conference on Privacy, Security and Trust (PST), 1-2, 2018 | 22 | 2018 |
Towards verification via supercompilation A Lisitsa, A Nemytykh 29th Annual International Computer Software and Applications Conference …, 2005 | 21 | 2005 |