../ PLEXIL.1.pdf 28-Sep-2024 16:50 81828 TITAN.RMPL.pdf 28-Sep-2024 16:50 1145263 TREX.AAAI08.doc 28-Sep-2024 16:50 1005568 TREX.FORMAL.pdf 28-Sep-2024 16:50 324666 TREX.ICRA.08.pdf 28-Sep-2024 16:50 1306824