Work

Model Checking Agent Programs by Using the Program Interpreter

Year: 2010

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-14977-1_17

Authors: Sung-Shik T. Q. Jongmans, Koen V. Hindriks, M. Birna van Riemsdijk

Institution: Delft University of Technology

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2137073013

FWCI: 3.64

Cites: 28

Cited by: 24

Related to: 10