2020 - ACM Distinguished Member
His main research concerns Model checking, Theoretical computer science, Multi-agent system, Programming language and Abstraction model checking. His research in Model checking intersects with topics in Semantics, Epistemic modal logic and Temporal logic. His work investigates the relationship between Semantics and topics such as Semantics that intersect with problems in Automaton.
His Theoretical computer science research is multidisciplinary, incorporating perspectives in Artificial neural network and State. His Multi-agent system study combines topics in areas such as Modal logic, Rotation formalisms in three dimensions and Reactive system. His research in Abstraction model checking tackles topics such as Decidability which are related to areas like Real-time operating system.
His primary areas of investigation include Model checking, Theoretical computer science, Multi-agent system, Epistemic modal logic and Artificial intelligence. The study incorporates disciplines such as Distributed computing and Interpreted systems in addition to Model checking. Much of his study explores Theoretical computer science relationship to Semantics.
His biological study spans a wide range of topics, including Class, Decidability, State and Binary decision diagram. His Epistemic modal logic research includes themes of Autoepistemic logic and Dynamic logic. His work deals with themes such as Modal logic and Deontic logic, which intersect with Artificial intelligence.
Alessio Lomuscio mainly focuses on Multi-agent system, Theoretical computer science, Model checking, Artificial intelligence and Artificial neural network. His research in Multi-agent system intersects with topics in Programming language, Semantics, Distributed computing, Predicate abstraction and Decidability. His Programming language research incorporates elements of Abstraction and Counterexample.
His work on Temporal logic, Alternating-time Temporal Logic and Undecidable problem as part of general Theoretical computer science research is often related to Bounded function and Perfect information, thus linking different fields of science. Model checking is a subfield of Algorithm that he tackles. Alessio Lomuscio usually deals with Artificial neural network and limits it to topics linked to Reachability and Activation function, Solver and Parallel algorithm.
His scientific interests lie mostly in Multi-agent system, Theoretical computer science, Model checking, Artificial neural network and Semantics. Alessio Lomuscio combines subjects such as Distributed computing, Class, Undecidable problem, Specification language and Functional verification with his study of Multi-agent system. His work on Reachability and Alternating-time Temporal Logic is typically connected to Complete information as part of general Theoretical computer science study, connecting several disciplines of science.
Model checking is a subfield of Algorithm that Alessio Lomuscio explores. His Artificial neural network study combines topics from a wide range of disciplines, such as Perception and Affine transformation. His Semantics study deals with the bigger picture of Programming language.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Automated Negotiation: Prospects, Methods and Challenges
N. R. Jennings;P. Faratin;A. R. Lomuscio;S. Parsons.
A Classification Scheme for Negotiation in Electronic Commerce
Alessio Lomuscio;Michael Wooldridge;Nicholas R. Jennings.
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
Alessio Lomuscio;Hongyang Qu;Franco Raimondi.
computer aided verification (2009)
Verifying epistemic properties of multi-agent systems via bounded model checking
W. Penczek;A. Lomuscio.
adaptive agents and multi-agents systems (2003)
An approach to reachability analysis for feed-forward ReLU neural networks.
Alessio Lomuscio;Lalit Maganti.
arXiv: Artificial Intelligence (2017)
MCMAS: an open-source model checker for the verification of multi-agent systems
Alessio Lomuscio;Hongyang Qu;Franco Raimondi.
International Journal on Software Tools for Technology Transfer (2017)
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
Franco Raimondi;Alessio Lomuscio.
Journal of Applied Logic (2007)
MCMAS: a model checker for multi-agent systems
Alessio Lomuscio;Franco Raimondi.
tools and algorithms for construction and analysis of systems (2006)
Deontic interpreted systems
Alessio Lomuscio;Marek J. Sergot.
Studia Logica (2003)
Formalisms for multi-agent systems
Mark d'Inverno;Michael Fisher;Alessio R. Lomuscio;Michael Luck.
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: