Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic⋆

Claudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon

Autonomy and Verification

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

2 results

Filter

Finished
Novel Locomotion for Extreme Environments (Space)
Smith, K. (PI), Parslew, B. (CoI) & Weightman, A. (CoI)
16/03/20 → 31/03/21
Project: Research
Robotics and Artificial Intelligence for Nuclear (RAIN)
Lennox, B. (PI), Arvin, F. (CoI), Brown, G. (CoI), Carrasco Gomez, J. (CoI), Da Via, C. (CoI), Furber, S. (CoI), Luján, M. (CoI), Watson, S. (CoI), Watts, S. (CoI) & Weightman, A. (CoI)
2/10/17 → 31/03/22
Project: Research