-
Integrating Explanations in Learning LTL Specifications from Demonstrations
Authors:
Ashutosh Gupta,
John Komp,
Abhay Singh Rajput,
Krishna Shankaranarayanan,
Ashutosh Trivedi,
Namrita Varshney
Abstract:
This paper investigates whether recent advances in Large Language Models (LLMs) can assist in translating human explanations into a format that can robustly support learning Linear Temporal Logic (LTL) from demonstrations. Both LLMs and optimization-based methods can extract LTL specifications from demonstrations; however, they have distinct limitations. LLMs can quickly generate solutions and inc…
▽ More
This paper investigates whether recent advances in Large Language Models (LLMs) can assist in translating human explanations into a format that can robustly support learning Linear Temporal Logic (LTL) from demonstrations. Both LLMs and optimization-based methods can extract LTL specifications from demonstrations; however, they have distinct limitations. LLMs can quickly generate solutions and incorporate human explanations, but their lack of consistency and reliability hampers their applicability in safety-critical domains. On the other hand, optimization-based methods do provide formal guarantees but cannot process natural language explanations and face scalability challenges. We present a principled approach to combining LLMs and optimization-based methods to faithfully translate human explanations and demonstrations into LTL specifications. We have implemented a tool called Janaka based on our approach. Our experiments demonstrate the effectiveness of combining explanations with demonstrations in learning LTL specifications through several case studies.
△ Less
Submitted 3 April, 2024;
originally announced April 2024.
-
Performance of a random-access wireless network with a mix of full- and half-duplex stations
Authors:
Vaneet Aggarwal,
N. K. Shankaranarayanan
Abstract:
In this paper, we consider the performance of a random-access time-slotted wireless network with a single access point and a mix of half- and full- duplex stations. Full-duplex transmissions involve data transmitted simultaneously in both directions, and this influences the dynamics of the queue at the access point. Given the probabilities of channel access by the nodes, this paper provides genera…
▽ More
In this paper, we consider the performance of a random-access time-slotted wireless network with a single access point and a mix of half- and full- duplex stations. Full-duplex transmissions involve data transmitted simultaneously in both directions, and this influences the dynamics of the queue at the access point. Given the probabilities of channel access by the nodes, this paper provides generalized analytical formulations for the throughputs for each station. Special cases related to a 802.11 DCA based system as well as a full-fairness system are discussed, which provide insights into the changes introduced by the new technology of full-duplex wireless.
△ Less
Submitted 13 March, 2013;
originally announced March 2013.
-
Design and Characterization of a Full-duplex Multi-antenna System for WiFi networks
Authors:
Melissa Duarte,
Ashutosh Sabharwal,
Vaneet Aggarwal,
Rittwik Jana,
K. K. Ramakrishnan,
Christopher Rice,
N. K. Shankaranarayanan
Abstract:
In this paper, we present an experimental and simulation based study to evaluate the use of full-duplex as a mode in practical IEEE 802.11 networks. To enable the study, we designed a 20 MHz multi-antenna OFDM full-duplex physical layer and a full-duplex capable MAC protocol which is backward compatible with current 802.11. Our extensive over-the-air experiments, simulations and analysis demonstra…
▽ More
In this paper, we present an experimental and simulation based study to evaluate the use of full-duplex as a mode in practical IEEE 802.11 networks. To enable the study, we designed a 20 MHz multi-antenna OFDM full-duplex physical layer and a full-duplex capable MAC protocol which is backward compatible with current 802.11. Our extensive over-the-air experiments, simulations and analysis demonstrate the following two results. First, the use of multiple antennas at the physical layer leads to a higher ergodic throughput than its hardware-equivalent multi-antenna half-duplex counterparts, for SNRs above the median SNR encountered in practical WiFi deployments. Second, the proposed MAC translates the physical layer rate gain into near doubling of throughput for multi-node single-AP networks. The two combined results allow us to conclude that there are potentially significant benefits gained from including a full-duplex mode in future WiFi standards.
△ Less
Submitted 7 October, 2012; v1 submitted 4 October, 2012;
originally announced October 2012.
