Travelled to:1 × Italy
1 × USA
Collaborated with:M.Fisher L.A.Dennis B.Farwer C.Pardavila W.Visser M.Wooldridge
Talks about:program (2) multi (2) agent (2) verif (1) model (1) check (1) autom (1) casp (1)
Person: Rafael H. Bordini
DBLP: Bordini:Rafael_H=
Contributed to:
2008
2003Wrote 2 papers:
- ASE-2008-BordiniDFF #automation #multi #source code #verification
- Automated Verification of Multi-Agent Programs (RHB, LAD, BF, MF), pp. 69–78.
- CAV-2003-BordiniFPVW #model checking #multi #source code
- Model Checking Multi-Agent Programs with CASP (RHB, MF, CP, WV, MW), pp. 110–113.