Temporal logic programming for assembly sequence planning. - Kiam Tian Seow; Rajagopalan Devanathan (Artif. Intell. Eng., 1993)

A temporal framework for assembly sequence representation and analysis. - Kiam Tian Seow; Rajagopalan Devanathan (IEEE Trans. Robotics Autom., 1994)

A Temporal Logic Approach to Discrete Event Control. - Kiam Tian Seow; Rajagopalan Devanathan (ICRA, 1995)

Collaborative assignment: a multiagent negotiation approach using BDI concepts. - Kiam Tian Seow; Khee Yin How (AAMAS, 2002)

Vehicle route-sequence planning using temporal logic. - Kiam Tian Seow; Michel Pasquier (Artif. Intell. Eng. Des. Anal. Manuf., 2002)

Existence characterizations of temporal-safety supervisors. - Kiam Tian Seow (IEEE Trans. Autom. Control., 2002)

Soccer Robotics - Jong-Hwan Kim 001; Yong-Jae Kim; Dong-Han Kim; Kiam Tian Seow (Springer, 2004)

Multiagent Planning as Control Synthesis. - Kiam Tian Seow; Chuan Ma; Makoto Yokoo (AAMAS, 2004)

Fuzzy linear assignment problem: an approach to vehicle fleet deployment. - Mirth Ngoc Ngo; Kiam Tian Seow; Kok Wai Wong (FUZZ-IEEE, 2004)

Using Memetic Algorithms for Fuzzy Modelling. - Ning Zhu; Yew-Soon Ong; Kok Wai Wong; Kiam Tian Seow (Aust. J. Intell. Inf. Process. Syst., 2004)

Humanoid Robot HanSaRam: Recent Progress and Developments. - Jong-Hwan Kim 001; Dong-Han Kim; Yong-Jae Kim; Kui-Hong Park; Jae-Ho Park; Choon-Kyoung Moon; Jee-Hwan Ryu; Kiam Tian Seow; Kyoung-Chul Koh (J. Adv. Comput. Intell. Intell. Informatics, 2004)

Supervising passenger land-transport systems. - Kiam Tian Seow; Michel Pasquier (IEEE Trans. Intell. Transp. Syst., 2004)

A Temporal Logic Specification Interface for Automata-Theoretic Finitary Control Synthesis. - Kiam Tian Seow; Ming Gai; Tong Lee Lim (ICRA, 2005)

Syntax-based synthesis for temporal-safety supervision. - Kiam Tian Seow (Autom., 2005)

Decentralized Assignment Reasoning Using Collaborative Local Mediation. - Kiam Tian Seow; Kwang Mong Sim 001 (IEEE Trans. Knowl. Data Eng., 2006)

Unifying distributed constraint algorithms in a BDI negotiation framework. - Bao Chau Le Dinh; Kiam Tian Seow (AAMAS, 2007)

Towards An Automated Multiagent Taxi-Dispatch System. - Kiam Tian Seow; Nam Hai Dang; Der-Horng Lee (CASE, 2007)

Integrating Temporal Logic as a State-Based Specification Language for Discrete-Event Control Design in Finite Automata. - Kiam Tian Seow (IEEE Trans Autom. Sci. Eng., 2007)

Coalition Formation for Resource Coallocation Using BDI Assignment Agents. - Kiam Tian Seow; Kwang Mong Sim 001; S. Y. C. Kwek (IEEE Trans. Syst. Man Cybern. Part C, 2007)

Towards Synthesizing Optimal Coordination Modules for Distributed Agents. - Manh Tung Pham; Kiam Tian Seow (AAAI, 2008)

Collaborative assignment using belief-desire-intention agent modeling and negotiation with speedup strategies. - Kiam Tian Seow; Kwang Mong Sim 001 (Inf. Sci., 2008)

A BDI Assignment Protocol With New Cooperative-Concession Strategies. - Kiam Tian Seow; Kwang Mong Sim 001; Yew-Soon Ong; E. P. Sulaiman (IEEE Trans. Syst. Man Cybern. Part A, 2008)

On-line coordination among discrete-event agents. - Manh Tung Pham; Kiam Tian Seow (AAMAS (2), 2009)

A dynamic programming approach to multi-level supervision. - Kiam Tian Seow (ICRA, 2009)

Coordination Planning: Applying Control Synthesis Methods for a Class of Distributed Agents. - Kiam Tian Seow; Manh Tung Pham; Chuan Ma; Makoto Yokoo (IEEE Trans. Control. Syst. Technol., 2009)

On the transparency of automata as discrete-event control specifications. - Manh Tung Pham; Amrith Dhananjayan; Kiam Tian Seow (ICRA, 2010)

A Collaborative Multiagent Taxi-Dispatch System. - Kiam Tian Seow; Nam Hai Dang; Der-Horng Lee (IEEE Trans Autom. Sci. Eng., 2010)

Performance of Multiagent Taxi Dispatch on Extended-Runtime Taxi Availability: A Simulation Study. - Kiam Tian Seow; Der-Horng Lee (IEEE Trans. Intell. Transp. Syst., 2010)

On deconflicting local coordination among agents. - Manh Tung Pham; Kiam Tian Seow (AAMAS, 2012)

Automating timed specification transparency for human designer validation of real-time discrete-event control requirements. - Amrith Dhananjayan; Kiam Tian Seow (CASE, 2012)

Hierarchical control of discrete-event systems: A new command and control design based on feasible system decomposition. - Quang Ha Ngo; Kiam Tian Seow (CASE, 2012)

On Specification Informatics in Discrete-event Systems - State-transparency for Clarity of Finite Automata as Control Specifications. - Amrith Dhananjayan; Kiam Tian Seow (ICINCO (1), 2012)

Discrete-Event Coordination Design for Distributed Agents. - Manh Tung Pham; Kiam Tian Seow (IEEE Trans Autom. Sci. Eng., 2012)

On-line coordination: Event interaction and state communication between cooperative agents. - Manh Tung Pham; Kiam Tian Seow (Web Intell. Agent Syst., 2012)

Lyapunov stability analysis of load balancing in datacenter networks. - Amrith Dhananjayan; Kiam Tian Seow; Chuan Heng Foh (GLOBECOM Workshops, 2013)

Towards reproducible performance studies of datacenter network architectures using an open-source simulation approach. - Daji Wong; Kiam Tian Seow; Chuan Heng Foh; Renuga Kanagavelu (GLOBECOM, 2013)

Multiagent Conflict Resolution Planning. - Manh Tung Pham; Kiam Tian Seow (SMC, 2013)

On Specification Transparency: Toward A Formal Framework for Designer Comprehensibility of Discrete-Event Control Specifications in Finite Automata. - Manh Tung Pham; Amrith Dhananjayan; Kiam Tian Seow (IEEE Trans. Syst. Man Cybern. Syst., 2013)

A time fidelity control foundation for hierarchical discrete-event systems. - Quang Ha Ngo; Kiam Tian Seow (CASE, 2014)

Multiagent Conflict Resolution for a Specification Network of Discrete-Event Coordinating Agents. - Manh Tung Pham; Kiam Tian Seow (CoRR, 2014)

Command and Control of Discrete-Event Systems: Towards Online Hierarchical Control Based on Feasible System Decomposition. - Quang Ha Ngo; Kiam Tian Seow (IEEE Trans Autom. Sci. Eng., 2014)

Organizational Control of Discrete-Event Systems: A Hierarchical Multiworld Supervisor Design. - Kiam Tian Seow (IEEE Trans. Control. Syst. Technol., 2014)

A Metric Temporal Logic Specification Interface for Real-Time Discrete-Event Control. - Amrith Dhananjayan; Kiam Tian Seow (IEEE Trans. Syst. Man Cybern. Syst., 2014)

A Formal Transparency Framework for Validation of Real-Time Discrete-Event Control Requirements Modeled by Timed Transition Graphs. - Amrith Dhananjayan; Kiam Tian Seow (IEEE Trans. Hum. Mach. Syst., 2015)

A hierarchical consistency framework for real-time supervisory control. - Quang Ha Ngo; Kiam Tian Seow (Discret. Event Dyn. Syst., 2018)

Supervisory Control of Blockchain Networks. - Kiam Tian Seow (IEEE Trans. Syst. Man Cybern. Syst., 2020)

Supervisory Control of Fair Discrete-Event Systems: A Canonical Temporal Logic Foundation. - Kiam Tian Seow (IEEE Trans. Autom. Control., 2021)

Supremal Marker-Controllable Subformula of a Given Canonical Temporal-Safety Formula. - Kiam Tian Seow (IEEE Access, 2022)

Decentralized Supervisory Control of Discrete-Event Systems in Canonical Temporal Logic. - Kiam Tian Seow (IEEE Access, 2025)