Boris Ginsburg

According to our database, Boris Ginsburg authored at least 86 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Genetic Instruct: Scaling up Synthetic Generation of Coding Instructions for Large Language Models.

Somshubra Majumdar, Vahid Noroozi, Sean Narenthiran, Aleksander Ficek, Jagadeesh Balam, Boris Ginsburg

CoRR, 2024

Romanization Encoding For Multilingual ASR.

Wen Ding, Fei Jia, Hainan Xu, Yu Xi, Junjie Lai, Boris Ginsburg

CoRR, 2024

BESTOW: Efficient and Streamable Speech Language Model with the Best of Two Worlds in GPT and T5.

Zhehuai Chen, He Huang, Oleksii Hrinchuk, Krishna C. Puvvada, Nithin Rao Koluguri, Piotr Zelasko, Jagadeesh Balam, Boris Ginsburg

CoRR, 2024

Less is More: Accurate Speech Recognition & Translation without Web-Scale Data.

Krishna C. Puvvada, Piotr Zelasko, He Huang, Oleksii Hrinchuk, Nithin Rao Koluguri, Kunal Dhawan, Somshubra Majumdar, Elena Rastorgueva, Zhehuai Chen, Vitaly Lavrukhin, Jagadeesh Balam, Boris Ginsburg

CoRR, 2024

DeSTA: Enhancing Speech Language Models through Descriptive Speech-Text Alignment.

Ke-Han Lu, Zhehuai Chen, Szu-Wei Fu, He Huang, Boris Ginsburg, Yu-Chiang Frank Wang, Hung-yi Lee

CoRR, 2024

Improving Robustness of LLM-based Speech Synthesis by Learning Monotonic Alignment.

Paarth Neekhara, Shehzeen Hussain, Subhankar Ghosh, Jason Li, Rafael Valle, Rohan Badlani, Boris Ginsburg

CoRR, 2024

Instruction Data Generation and Unsupervised Adaptation for Speech Language Models.

Vahid Noroozi, Zhehuai Chen, Somshubra Majumdar, Steve Huang, Jagadeesh Balam, Boris Ginsburg

CoRR, 2024

Nemotron-4 340B Technical Report.

Bo Adler, Niket Agarwal, Ashwath Aithal, Dong H. Anh, Pallab Bhattacharya, Annika Brundyn, Jared Casper, Bryan Catanzaro, Sharon Clay, Jonathan M. Cohen, Sirshak Das, Ayush Dattagupta, Olivier Delalleau, Leon Derczynski, Yi Dong, Daniel Egert, Ellie Evans, Aleksander Ficek, Denys Fridman, Shaona Ghosh, Boris Ginsburg, Igor Gitman, Tomasz Grzegorzek, Robert Hero, Jining Huang, Vibhu Jawa, Joseph Jennings, Aastha Jhunjhunwala, John Kamalu, Sadaf Khan, Oleksii Kuchaiev, Patrick LeGresley, Hui Li, Jiwei Liu, Zihan Liu, Eileen Long, Ameya Sunil Mahabaleshwarkar, Somshubra Majumdar, James Maki, Miguel Martinez, Maer Rodrigues de Melo, Ivan Moshkov, Deepak Narayanan, Sean Narenthiran, Jesus Navarro, Phong Nguyen, Osvald Nitski, Vahid Noroozi, Guruprasad Nutheti, Christopher Parisien, Jupinder Parmar, Mostofa Patwary, Krzysztof Pawelec, Wei Ping, Shrimai Prabhumoye, Rajarshi Roy, Trisha Saar, Vasanth Rao Naik Sabavat, Sanjeev Satheesh, Jane Polak Scowcroft, Jason Sewall, Pavel Shamis, Gerald Shen, Mohammad Shoeybi, Dave Sizer, Misha Smelyanskiy, Felipe Soares, Makesh Narsimhan Sreedhar, Dan Su, Sandeep Subramanian, Shengyang Sun, Shubham Toshniwal, Hao Wang, Zhilin Wang, Jiaxuan You, Jiaqi Zeng, Jimmy Zhang, Jing Zhang, Vivienne Zhang, Yian Zhang, Chen Zhu

CoRR, 2024

Fast Context-Biasing for CTC and Transducer ASR models with CTC-based Word Spotter.

Andrei Andrusenko, Aleksandr Laptev, Vladimir Bataev, Vitaly Lavrukhin, Boris Ginsburg

CoRR, 2024

Label-Looping: Highly Efficient Decoding for Transducers.

Vladimir Bataev, Hainan Xu, Daniel Galvez, Vitaly Lavrukhin, Boris Ginsburg

CoRR, 2024

RULER: What's the Real Context Size of Your Long-Context Language Models?

Cheng-Ping Hsieh, Simeng Sun, Samuel Kriman, Shantanu Acharya, Dima Rekesh, Fei Jia, Yang Zhang, Boris Ginsburg

CoRR, 2024

Transducers with Pronunciation-Aware Embeddings for Automatic Speech Recognition.

Hainan Xu, Zhehuai Chen, Fei Jia, Boris Ginsburg

Proceedings of the IEEE International Conference on Acoustics, 2024

Discrete Audio Representation as an Alternative to Mel-Spectrograms for Speaker and Speech Recognition.

Krishna C. Puvvada, Nithin Rao Koluguri, Kunal Dhawan, Jagadeesh Balam, Boris Ginsburg

Proceedings of the IEEE International Conference on Acoustics, 2024

Stateful Conformer with Cache-Based Inference for Streaming Automatic Speech Recognition.

Vahid Noroozi, Somshubra Majumdar, Ankur Kumar, Jagadeesh Balam, Boris Ginsburg

Proceedings of the IEEE International Conference on Acoustics, 2024

Investigating End-to-End ASR Architectures for Long Form Audio Transcription.

Nithin Rao Koluguri, Samuel Kriman, Georgy Zelenfroind, Somshubra Majumdar, Dima Rekesh, Vahid Noroozi, Jagadeesh Balam, Boris Ginsburg

Proceedings of the IEEE International Conference on Acoustics, 2024

SALM: Speech-Augmented Language Model with in-Context Learning for Speech Recognition and Translation.

Zhehuai Chen, He Huang, Andrei Andrusenko, Oleksii Hrinchuk, Krishna C. Puvvada, Jason Li, Subhankar Ghosh, Jagadeesh Balam, Boris Ginsburg

Proceedings of the IEEE International Conference on Acoustics, 2024

Multilingual Audio-Visual Speech Recognition with Hybrid CTC/RNN-T Fast Conformer.

Maxime Burchi, Krishna C. Puvvada, Jagadeesh Balam, Boris Ginsburg, Radu Timofte

Proceedings of the IEEE International Conference on Acoustics, 2024

A Chat about Boring Problems: Studying GPT-Based Text Normalization.

Yang Zhang, Travis M. Bartley, Mariana Graterol-Fuenmayor, Vitaly Lavrukhin, Evelina Bakhturina, Boris Ginsburg

Proceedings of the IEEE International Conference on Acoustics, 2024

2023

The CHiME-7 Challenge: System Description and Performance of NeMo Team's DASR System.

Taejin Park, He Huang, Ante Jukic, Kunal Dhawan, Krishna C. Puvvada, Nithin Rao Koluguri, Nikolay Karpov, Aleksandr Laptev, Jagadeesh Balam, Boris Ginsburg

CoRR, 2023

Property-Aware Multi-Speaker Data Simulation: A Probabilistic Modelling Technique for Synthetic Data Generation.

Taejin Park, He Huang, Coleman Hooper, Nithin Rao Koluguri, Kunal Dhawan, Ante Jukic, Jagadeesh Balam, Boris Ginsburg

CoRR, 2023

SelfVC: Voice Conversion With Iterative Refinement using Self Transformations.

Paarth Neekhara, Shehzeen Hussain, Rafael Valle, Boris Ginsburg, Rishabh Ranjan, Shlomo Dubnov, Farinaz Koushanfar, Julian J. McAuley

CoRR, 2023

Towards training Bilingual and Code-Switched Speech Recognition models from Monolingual data sources.

Kunal Dhawan, Dima Rekesh, Boris Ginsburg

CoRR, 2023

Fast Conformer with Linearly Scalable Attention for Efficient Speech Recognition.

Dima Rekesh, Samuel Kriman, Somshubra Majumdar, Vahid Noroozi, He Huang, Oleksii Hrinchuk, Ankur Kumar, Boris Ginsburg

CoRR, 2023

Flexible Multichannel Speech Enhancement for Noise-Robust Frontend.

Ante Jukic, Jagadeesh Balam, Boris Ginsburg

Proceedings of the IEEE Workshop on Applications of Signal Processing to Audio and Acoustics, 2023

NVIDIA NeMo Offline Speech Translation Systems for IWSLT 2023.

Oleksii Hrinchuk, Vladimir Bataev, Evelina Bakhturina, Boris Ginsburg

Proceedings of the 20th International Conference on Spoken Language Translation, 2023

NeMo Forced Aligner and its application to word alignment for subtitle generation.

Elena Rastorgueva, Vitaly Lavrukhin, Boris Ginsburg

Proceedings of the 24th Annual Conference of the International Speech Communication Association, 2023

A Compact End-to-End Model with Local and Global Context for Spoken Language Identification.

Fei Jia, Nithin Rao Koluguri, Jagadeesh Balam, Boris Ginsburg

Proceedings of the 24th Annual Conference of the International Speech Communication Association, 2023

Leveraging Pretrained ASR Encoders for Effective and Efficient End-to-End Speech Intent Classification and Slot Filling.

He Huang, Jagadeesh Balam, Boris Ginsburg

Proceedings of the 24th Annual Conference of the International Speech Communication Association, 2023

Adapter-Based Extension of Multi-Speaker Text-To-Speech Model for New Speakers.

Cheng-Ping Hsieh, Subhankar Ghosh, Boris Ginsburg

Proceedings of the 24th Annual Conference of the International Speech Communication Association, 2023

Confidence-based Ensembles of End-to-End Speech Recognition Models.

Igor Gitman, Vitaly Lavrukhin, Aleksandr Laptev, Boris Ginsburg

Proceedings of the 24th Annual Conference of the International Speech Communication Association, 2023

Text-only domain adaptation for end-to-end ASR using integrated text-to-mel-spectrogram generator.

Vladimir Bataev, Roman Korostik, Evgeny Shabalin, Vitaly Lavrukhin, Boris Ginsburg

Proceedings of the 24th Annual Conference of the International Speech Communication Association, 2023

SpellMapper: A non-autoregressive neural spellchecker for ASR customization with candidate retrieval based on n-gram mappings.

Alexandra Antonova, Evelina Bakhturina, Boris Ginsburg

Proceedings of the 24th Annual Conference of the International Speech Communication Association, 2023

Efficient Sequence Transduction by Jointly Predicting Tokens and Durations.

Hainan Xu, Fei Jia, Somshubra Majumdar, He Huang, Shinji Watanabe, Boris Ginsburg

Proceedings of the International Conference on Machine Learning, 2023

BigVGAN: A Universal Neural Vocoder with Large-Scale Training.

Sang-gil Lee, Wei Ping, Boris Ginsburg, Bryan Catanzaro, Sungroh Yoon

Proceedings of the Eleventh International Conference on Learning Representations, 2023

Conformer-Based Target-Speaker Automatic Speech Recognition For Single-Channel Audio.

Yang Zhang, Krishna C. Puvvada, Vitaly Lavrukhin, Boris Ginsburg

Proceedings of the IEEE International Conference on Acoustics, 2023

Multi-Blank Transducers for Speech Recognition.

Hainan Xu, Fei Jia, Somshubra Majumdar, Shinji Watanabe, Boris Ginsburg

Proceedings of the IEEE International Conference on Acoustics, 2023

Powerful and Extensible WFST Framework for Rnn-Transducer Losses.

Aleksandr Laptev, Vladimir Bataev, Igor Gitman, Boris Ginsburg

Proceedings of the IEEE International Conference on Acoustics, 2023

ACE-VC: Adaptive and Controllable Voice Conversion Using Explicitly Disentangled Self-Supervised Speech Representations.

Shehzeen Hussain, Paarth Neekhara, Jocelyn Huang, Jason Li, Boris Ginsburg

Proceedings of the IEEE International Conference on Acoustics, 2023

Accidental Learners: Spoken Language Identification in Multilingual Self-Supervised Models.

Travis M. Bartley, Fei Jia, Krishna C. Puvvada, Samuel Kriman, Boris Ginsburg

Proceedings of the IEEE International Conference on Acoustics, 2023

Vani: Very-Lightweight Accent-Controllable TTS for Native And Non-Native Speakers With Identity Preservation.

Rohan Badlani, Akshit Arora, Subhankar Ghosh, Rafael Valle, Kevin J. Shih, João Felipe Santos, Boris Ginsburg, Bryan Catanzaro

Proceedings of the IEEE International Conference on Acoustics, 2023

Fast Conformer With Linearly Scalable Attention For Efficient Speech Recognition.

Dima Rekesh, Nithin Rao Koluguri, Samuel Kriman, Somshubra Majumdar, Vahid Noroozi, He Huang, Oleksii Hrinchuk, Krishna C. Puvvada, Ankur Kumar, Jagadeesh Balam, Boris Ginsburg

Proceedings of the IEEE Automatic Speech Recognition and Understanding Workshop, 2023

LibriSpeech-PC: Benchmark for Evaluation of Punctuation and Capitalization Capabilities of End-to-End ASR Models.

Aleksandr Meister, Matvei Novikov, Nikolay Karpov, Evelina Bakhturina, Vitaly Lavrukhin, Boris Ginsburg

Proceedings of the IEEE Automatic Speech Recognition and Understanding Workshop, 2023

2022

AmberNet: A Compact End-to-End Model for Spoken Language Identification.

Fei Jia, Nithin Rao Koluguri, Jagadeesh Balam, Boris Ginsburg

CoRR, 2022

Damage Control During Domain Adaptation for Transducer Based Automatic Speech Recognition.

Somshubra Majumdar, Shantanu Acharya, Vitaly Lavrukhin, Boris Ginsburg

Proceedings of the IEEE Spoken Language Technology Workshop, 2022

Fast Entropy-Based Methods of Word-Level Confidence Estimation for End-to-End Automatic Speech Recognition.

Aleksandr Laptev, Boris Ginsburg

Proceedings of the IEEE Spoken Language Technology Workshop, 2022

NeMo Open Source Speaker Diarization System.

Taejin Park, Nithin Rao Koluguri, Fei Jia, Jagadeesh Balam, Boris Ginsburg

Proceedings of the 23rd Annual Conference of the International Speech Communication Association, 2022

Multi-scale Speaker Diarization with Dynamic Scale Weighting.

Taejin Park, Nithin Rao Koluguri, Jagadeesh Balam, Boris Ginsburg

Proceedings of the 23rd Annual Conference of the International Speech Communication Association, 2022

CTC Variations Through New WFST Topologies.

Aleksandr Laptev, Somshubra Majumdar, Boris Ginsburg

Proceedings of the 23rd Annual Conference of the International Speech Communication Association, 2022

Shallow Fusion of Weighted Finite-State Transducer and Language Model for Text Normalization.

Evelina Bakhturina, Yang Zhang, Boris Ginsburg

Proceedings of the 23rd Annual Conference of the International Speech Communication Association, 2022

Thutmose Tagger: Single-pass neural model for Inverse Text Normalization.

Alexandra Antonova, Evelina Bakhturina, Boris Ginsburg

Proceedings of the 23rd Annual Conference of the International Speech Communication Association, 2022

Mixer-TTS: Non-Autoregressive, Fast and Compact Text-to-Speech Model Conditioned on Language Model Embeddings.

Oktai Tatanov, Stanislav Beliaev, Boris Ginsburg

Proceedings of the IEEE International Conference on Acoustics, 2022

TitaNet: Neural Model for Speaker Representation with 1D Depth-Wise Separable Convolutions and Global Context.

Nithin Rao Koluguri, Taejin Park, Boris Ginsburg

Proceedings of the IEEE International Conference on Acoustics, 2022

2021

OpenChem: A Deep Learning Toolkit for Computational Chemistry and Drug Design.

Maria Korshunova, Boris Ginsburg, Alexander Tropsha, Olexandr Isayev

J. Chem. Inf. Model., 2021

Adapting TTS models For New Speakers using Transfer Learning.

Paarth Neekhara, Jason Li, Boris Ginsburg

CoRR, 2021

A Unified Transformer-based Framework for Duplex Text Normalization.

Tuan Manh Lai, Yang Zhang, Evelina Bakhturina, Boris Ginsburg, Heng Ji

CoRR, 2021

CarneliNet: Neural Mixture Model for Automatic Speech Recognition.

Aleksei Kalinov, Somshubra Majumdar, Jagadeesh Balam, Boris Ginsburg

CoRR, 2021

SGD-QA: Fast Schema-Guided Dialogue State Tracking for Unseen Services.

Yang Zhang, Vahid Noroozi, Evelina Bakhturina, Boris Ginsburg

CoRR, 2021

TalkNet 2: Non-Autoregressive Depth-Wise Separable Convolutional Model for Speech Synthesis with Explicit Pitch and Duration Prediction.

Stanislav Beliaev, Boris Ginsburg

CoRR, 2021

NeMo Toolbox for Speech Dataset Construction.

Evelina Bakhturina, Vitaly Lavrukhin, Boris Ginsburg

CoRR, 2021

A Toolbox for Construction and Analysis of Speech Datasets.

Evelina Bakhturina, Vitaly Lavrukhin, Boris Ginsburg

Proceedings of the Neural Information Processing Systems Track on Datasets and Benchmarks 1, 2021

NeMo Inverse Text Normalization: From Development to Production.

Yang Zhang, Evelina Bakhturina, Kyle Gorman, Boris Ginsburg

Proceedings of the 22nd Annual Conference of the International Speech Communication Association, Interspeech 2021, Brno, Czechia, August 30, 2021

NeMo (Inverse) Text Normalization: From Development to Production.

Yang Zhang, Evelina Bakhturina, Boris Ginsburg

Proceedings of the 22nd Annual Conference of the International Speech Communication Association, Interspeech 2021, Brno, Czechia, August 30, 2021

SPGISpeech: 5, 000 Hours of Transcribed Financial Audio for Fully Formatted End-to-End Speech Recognition.

Patrick K. O'Neill, Vitaly Lavrukhin, Somshubra Majumdar, Vahid Noroozi, Yuekai Zhang, Oleksii Kuchaiev, Jagadeesh Balam, Yuliya Dovzhenko, Keenan Freyberg, Michael D. Shulman, Boris Ginsburg, Shinji Watanabe, Georg Kucsko

Proceedings of the 22nd Annual Conference of the International Speech Communication Association, Interspeech 2021, Brno, Czechia, August 30, 2021

TalkNet: Non-Autoregressive Depth-Wise Separable Convolutional Model for Speech Synthesis.

Stanislav Beliaev, Boris Ginsburg

Proceedings of the 22nd Annual Conference of the International Speech Communication Association, Interspeech 2021, Brno, Czechia, August 30, 2021

Hi-Fi Multi-Speaker English TTS Dataset.

Evelina Bakhturina, Vitaly Lavrukhin, Boris Ginsburg, Yang Zhang

Proceedings of the 22nd Annual Conference of the International Speech Communication Association, Interspeech 2021, Brno, Czechia, August 30, 2021

Cross-Language Transfer Learning and Domain Adaptation for End-to-End Automatic Speech Recognition.

Jian Luo, Jianzong Wang, Ning Cheng, Edward Xiao, Jing Xiao, Georg Kucsko, Patrick K. O'Neill, Jagadeesh Balam, Slyne Deng, Adriana Flores, Boris Ginsburg, Jocelyn Huang, Oleksii Kuchaiev, Vitaly Lavrukhin, Jason Li

Proceedings of the 2021 IEEE International Conference on Multimedia and Expo, 2021

MarbleNet: Deep 1D Time-Channel Separable Convolutional Neural Network for Voice Activity Detection.

Fei Jia, Somshubra Majumdar, Boris Ginsburg

Proceedings of the IEEE International Conference on Acoustics, 2021

2020

On regularization of gradient descent, layer imbalance and flat minima.

Boris Ginsburg

CoRR, 2020

MatchboxNet: 1D Time-Channel Separable Convolutional Neural Network Architecture for Speech Commands Recognition.

Somshubra Majumdar, Boris Ginsburg

Proceedings of the 21st Annual Conference of the International Speech Communication Association, 2020

Quartznet: Deep Automatic Speech Recognition with 1D Time-Channel Separable Convolutions.

Samuel Kriman, Stanislav Beliaev, Boris Ginsburg, Jocelyn Huang, Oleksii Kuchaiev, Vitaly Lavrukhin, Ryan Leary, Jason Li, Yang Zhang

Proceedings of the 2020 IEEE International Conference on Acoustics, 2020

Correction of Automatic Speech Recognition with Transformer Sequence-To-Sequence Model.

Oleksii Hrinchuk, Mariya Popova, Boris Ginsburg

Proceedings of the 2020 IEEE International Conference on Acoustics, 2020

2019

NeMo: a toolkit for building AI applications using Neural Modules.

Oleksii Kuchaiev, Jason Li, Huyen Nguyen, Oleksii Hrinchuk, Ryan Leary, Boris Ginsburg, Samuel Kriman, Stanislav Beliaev, Vitaly Lavrukhin, Jack Cook, Patrice Castonguay, Mariya Popova, Jocelyn Huang, Jonathan M. Cohen

CoRR, 2019

Stochastic Gradient Methods with Layer-wise Adaptive Moments for Training of Deep Networks.

Boris Ginsburg, Patrice Castonguay, Oleksii Hrinchuk, Oleksii Kuchaiev, Vitaly Lavrukhin, Ryan Leary, Jason Li, Huyen Nguyen, Jonathan M. Cohen

CoRR, 2019

Jasper: An End-to-End Convolutional Neural Acoustic Model.

Jason Li, Vitaly Lavrukhin, Boris Ginsburg, Ryan Leary, Oleksii Kuchaiev, Jonathan M. Cohen, Huyen Nguyen, Ravi Teja Gadde

Proceedings of the 20th Annual Conference of the International Speech Communication Association, 2019

2018

Training Neural Speech Recognition Systems with Synthetic Speech Augmentation.

Jason Li, Ravi Gadde, Boris Ginsburg, Vitaly Lavrukhin

CoRR, 2018

OpenSeq2Seq: extensible toolkit for distributed and mixed precision training of sequence-to-sequence models.

Oleksii Kuchaiev, Boris Ginsburg, Igor Gitman, Vitaly Lavrukhin, Carl Case, Paulius Micikevicius

CoRR, 2018

Computational mammography using deep neural networks.

Anastasia Dubrovina, Pavel Kisilev, Boris Ginsburg, Sharbell Y. Hashoul, Ron Kimmel

Comput. methods Biomech. Biomed. Eng. Imaging Vis., 2018

Mixed Precision Training.

Paulius Micikevicius, Sharan Narang, Jonah Alben, Gregory F. Diamos, Erich Elsen, David García, Boris Ginsburg, Michael Houston, Oleksii Kuchaiev, Ganesh Venkatesh, Hao Wu

Proceedings of the 6th International Conference on Learning Representations, 2018

Spatially Parallel Convolutions.

Peter H. Jin, Boris Ginsburg, Kurt Keutzer

Proceedings of the 6th International Conference on Learning Representations, 2018

2017

Comparison of Batch Normalization and Weight Normalization Algorithms for the Large-scale Image Classification.

Igor Gitman, Boris Ginsburg

CoRR, 2017

Scaling SGD Batch Size to 32K for ImageNet Training.

Yang You, Igor Gitman, Boris Ginsburg

CoRR, 2017

Training Deep AutoEncoders for Collaborative Filtering.

Oleksii Kuchaiev, Boris Ginsburg

CoRR, 2017

On Improving the Numerical Stability of Winograd Convolutions.

Kevin Vincent, Kevin Stephano, Michael A. Frumkin, Boris Ginsburg, Julien Demouth

Proceedings of the 5th International Conference on Learning Representations, 2017

Factorization tricks for LSTM networks.

Oleksii Kuchaiev, Boris Ginsburg

Proceedings of the 5th International Conference on Learning Representations, 2017

2016

SEBOOST - Boosting Stochastic Learning Using Subspace Optimization Techniques.

Elad Richardson, Rom Herskovitz, Boris Ginsburg, Michael Zibulevsky

Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

2002

The ForSpec Temporal Logic: A New Temporal Property-Specification Language.

Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002